diff options
Diffstat (limited to 'tools/http_server.py')
| -rwxr-xr-x | tools/http_server.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/tools/http_server.py b/tools/http_server.py index d33f24d5d..c627dfd5f 100755 --- a/tools/http_server.py +++ b/tools/http_server.py @@ -55,5 +55,4 @@ def spawn(): if __name__ == '__main__': - s = server() - s.serve_forever() + spawn().join() |