using different random port

ITISFoundation · Oct 24, 2023 · aaf69b9 · aaf69b9
1 parent 5bf7f71
commit aaf69b9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/docker/inactivity.py b/docker/inactivity.py
@@ -4,5 +4,5 @@
 
 import requests
 
-r = requests.get("http://localhost:9000")
+r = requests.get("http://localhost:19597")
 print(r.text)
diff --git a/docker/kernel_checker.py b/docker/kernel_checker.py
@@ -12,7 +12,6 @@
 
 KERNEL_BUSY_CHECK_INTERVAL_S: Final[float] = 5
 
-
 class JupyterKernelChecker:
     BASE_URL = "http://localhost:8888"
     HEADERS = {"accept": "application/json"}
@@ -79,7 +78,7 @@ def make_app()-> tornado.web.Application:
 
 async def main():
     app = make_app()
-    app.listen(9000)
+    app.listen(19597)
     asyncio.create_task(kernel_checker.run())
     await asyncio.Event().wait()