From 1d96fdb1ee7a61ae1c8434b11a5ccc59521a7779 Mon Sep 17 00:00:00 2001 From: Thomas Voss Date: Mon, 19 Aug 2024 20:28:32 +0200 Subject: [PATCH] Allow specifying a custom port with --port --- start_offline_webserver.py | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/start_offline_webserver.py b/start_offline_webserver.py index fe3dfd2b..fcf3b281 100644 --- a/start_offline_webserver.py +++ b/start_offline_webserver.py @@ -1,3 +1,4 @@ +import argparse import http.server import socketserver import os @@ -9,8 +10,11 @@ class Handler(http.server.SimpleHTTPRequestHandler): extensions_map[''] = 'text/html' +parser = argparse.ArgumentParser() +parser.add_argument('--port', type=int, default=8000) +args = parser.parse_args() + host = "localhost" -port = 8000 -with socketserver.TCPServer((host, port), Handler) as httpd: - print(f"serving docs at http://{host}:{port}") +with socketserver.TCPServer((host, args.port), Handler) as httpd: + print(f"serving docs at http://{host}:{args.port}") httpd.serve_forever()