From a6ca3fd3616c111457a6410599203d53b2eb0e47 Mon Sep 17 00:00:00 2001 From: Leander Furumo Date: Wed, 10 Apr 2024 03:07:21 +0200 Subject: [PATCH] change default port as to not conflict with galtinn --- verification_server/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/verification_server/Dockerfile b/verification_server/Dockerfile index b22afdf..d6d3257 100644 --- a/verification_server/Dockerfile +++ b/verification_server/Dockerfile @@ -8,4 +8,4 @@ RUN python3 -m pip install --no-cache-dir -r requirements.txt COPY . . -CMD [ "uvicorn", "src.server:app", "--host", "0.0.0.0", "--port", "8000" ] +CMD [ "uvicorn", "src.server:app", "--host", "0.0.0.0", "--port", "8001" ]