stupid bugfix in ServerIsRunning