Commit aead01d2 authored by Michael Murtaugh's avatar Michael Murtaugh

added hostname + port and changed default to Makefile

parent 867e72a7
......@@ -169,7 +169,9 @@ async def websocket_handler(request):
def main ():
ap = argparse.ArgumentParser("make & serve")
ap.add_argument("--makefile", default="makefile")
ap.add_argument("--makefile", default="Makefile")
ap.add_argument("--host", default="localhost")
ap.add_argument("--port", type=int, default=8080)
ap.add_argument("--editor", default=None)
args = ap.parse_args()
if sys.platform == 'win32':
......@@ -184,7 +186,7 @@ def main ():
app.router.add_route('GET', '/ws', websocket_handler)
app.add_routes([web.get('/{make:.*}', route_get)])
app.add_routes(['/{make:.*}', route_post)])
web.run_app(app,, port=args.port)
if __name__ == "__main__":
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment