mirror of
https://github.com/enzet/map-machine.git
synced 2025-06-05 12:21:54 +02:00
Issue #73: add port number option.
This commit is contained in:
parent
78e1415363
commit
3b5aed9356
4 changed files with 20 additions and 7 deletions
|
@ -70,12 +70,11 @@ def ui(options: argparse.Namespace) -> None:
|
|||
"""Command-line interface for tile server."""
|
||||
server: Optional[HTTPServer] = None
|
||||
try:
|
||||
port: int = 8080
|
||||
handler = _Handler
|
||||
handler.cache = Path(options.cache)
|
||||
handler.options = options
|
||||
server: HTTPServer = HTTPServer(("", port), handler)
|
||||
logging.info(f"Server started on port {port}.")
|
||||
server: HTTPServer = HTTPServer(("", options.port), handler)
|
||||
logging.info(f"Server started on port {options.port}.")
|
||||
server.serve_forever()
|
||||
finally:
|
||||
if server:
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue