diff options
| author | Rémi Verschelde | 2017-01-14 12:26:56 +0100 |
|---|---|---|
| committer | Rémi Verschelde | 2017-01-14 14:52:23 +0100 |
| commit | 93ab45b6b5c4f8e0619e963156c983009d399a9d (patch) | |
| tree | 80e55993f29ad7bf502ef7388eef78114b2dc4ab /platform/server/os_server.cpp | |
| parent | 78e90ac60b81f17fdf8c319357f16962e92e6106 (diff) | |
| download | godot-93ab45b6b5c4f8e0619e963156c983009d399a9d.tar.gz godot-93ab45b6b5c4f8e0619e963156c983009d399a9d.tar.zst godot-93ab45b6b5c4f8e0619e963156c983009d399a9d.zip | |
Diffstat (limited to 'platform/server/os_server.cpp')
| -rw-r--r-- | platform/server/os_server.cpp | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/platform/server/os_server.cpp b/platform/server/os_server.cpp index e35ad1adf..6b91a5ce7 100644 --- a/platform/server/os_server.cpp +++ b/platform/server/os_server.cpp @@ -103,9 +103,11 @@ void OS_Server::finalize() { spatial_sound_2d_server->finish(); memdelete(spatial_sound_2d_server); - //if (debugger_connection_console) { -// memdelete(debugger_connection_console); -//} + /* + if (debugger_connection_console) { + memdelete(debugger_connection_console); + } + */ memdelete(sample_manager); |