diff options
Diffstat (limited to 'tools/http_server.py')
-rwxr-xr-x | tools/http_server.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/http_server.py b/tools/http_server.py index 3d3fb77fa..eae5a15b8 100755 --- a/tools/http_server.py +++ b/tools/http_server.py @@ -57,6 +57,7 @@ def spawn(): if __name__ == '__main__': try: spawn() - while True: sleep(100) + while True: + sleep(100) except KeyboardInterrupt: sys.exit() |