@@ -163,6 +163,7 @@ namespace console_server_globals
{
_console_server->shutdown();
CE_DELETE(default_allocator(), _console_server);
+ _console_server = NULL;
}