merkle: default to port 6160

mit-pdos · Sep 18, 2023 · 2b598a2 · 2b598a2
1 parent 7362377
commit 2b598a2
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 2 deletions.
diff --git a/merkle/Makefile b/merkle/Makefile
@@ -4,7 +4,7 @@ venv: requirements.txt
 	touch venv
 
 run-server: venv
-	venv/bin/python -m flask --app server run
+	venv/bin/python server.py
 
 check: venv
 	venv/bin/python grader.py
diff --git a/merkle/cli.py b/merkle/cli.py
@@ -30,7 +30,7 @@ def reset(self):
 
 parser = argparse.ArgumentParser()
 parser.add_argument("--print-proofs", default=False, action=argparse.BooleanOptionalAction, help="print proofs")
-parser.add_argument("--server", default="http://localhost:5000", help="server URL")
+parser.add_argument("--server", default="http://localhost:6160", help="server URL")
 parser.add_argument("--root-file", default="merkle.root", help="file containing merkle root")
 parser.add_argument("cmd", help="get, put, or reset")
 parser.add_argument("key", help="key to get or put", nargs="?")

diff --git a/merkle/server.py b/merkle/server.py
@@ -32,3 +32,7 @@ def reset():
         return ('', 204)
 
     return app
+
+if __name__ == '__main__':
+    app = create_app()
+    app.run(debug=True, port=6160)