diff options
author | Amos Lim <amoseui@gmail.com> | 2018-10-17 00:54:08 +0900 |
---|---|---|
committer | Ryan Dahl <ry@tinyclouds.org> | 2018-10-16 11:54:08 -0400 |
commit | a90cf4c2ee6a98a9f7b2cd58528e94d3f84e1f0d (patch) | |
tree | 65b73660ff2f0dec153229ae86edefad153f1b4d /tools/http_server.py | |
parent | c61a0f2f84e619a70704b59fd72cd7da863d4461 (diff) |
Interrupt http_server.py by ctrl + c (#1001)
Diffstat (limited to 'tools/http_server.py')
-rwxr-xr-x | tools/http_server.py | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/tools/http_server.py b/tools/http_server.py index c627dfd5f..3d3fb77fa 100755 --- a/tools/http_server.py +++ b/tools/http_server.py @@ -2,6 +2,7 @@ # Many tests expect there to be an http server on port 4545 servering the deno # root directory. import os +import sys from threading import Thread import SimpleHTTPServer import SocketServer @@ -51,8 +52,11 @@ def spawn(): r_thread.daemon = True r_thread.start() sleep(1) # TODO I'm too lazy to figure out how to do this properly. - return thread if __name__ == '__main__': - spawn().join() + try: + spawn() + while True: sleep(100) + except KeyboardInterrupt: + sys.exit() |