mirror of
https://github.com/Redot-Engine/redot-engine.git
synced 2025-12-06 15:21:56 -05:00
Merge commit godotengine/godot@71a9948157
This commit is contained in:
@@ -36,7 +36,7 @@
|
||||
|
||||
#include "editor/editor_log.h"
|
||||
#include "editor/editor_node.h"
|
||||
#include "editor/editor_settings.h"
|
||||
#include "editor/settings/editor_settings.h"
|
||||
|
||||
void EditorDebuggerServerWebSocket::poll() {
|
||||
if (pending_peer.is_null() && tcp_server->is_connection_available()) {
|
||||
|
||||
Reference in New Issue
Block a user