refs #15: Fix resseting the flag to check server status.

ANLAB-KAIST · Jul 16, 2015 · fe3e3f5 · fe3e3f5
1 parent db412f3
commit fe3e3f5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/pspgen-server.py b/scripts/pspgen-server.py
@@ -133,6 +133,7 @@ def handle_request(loop, reader, writer):
             yield from pspgen_proxy.terminate()
         else:
             print('Unknown command: {0}'.format(args[0]), file=sys.stderr)
+    server_running = False
 
 if __name__ == '__main__':
     loop = asyncio.get_event_loop()