diff options
Diffstat (limited to 'platform/server')
| -rw-r--r-- | platform/server/os_server.cpp | 8 | ||||
| -rw-r--r-- | platform/server/os_server.h | 2 |
2 files changed, 6 insertions, 4 deletions
diff --git a/platform/server/os_server.cpp b/platform/server/os_server.cpp index e35ad1adf8..6b91a5ce77 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); diff --git a/platform/server/os_server.h b/platform/server/os_server.h index 6aa1b9e14b..f7fe586b1b 100644 --- a/platform/server/os_server.h +++ b/platform/server/os_server.h @@ -51,7 +51,7 @@ class OS_Server : public OS_Unix { -// Rasterizer *rasterizer; + //Rasterizer *rasterizer; VisualServer *visual_server; VideoMode current_videomode; List<String> args; |