Add default PLATFORM_URI for docker

oj-lab · Apr 4, 2024 · 3d4d280 · 3d4d280
1 parent ef0ae99
commit 3d4d280
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -21,5 +21,6 @@ COPY judger/workdirs/docker/rclone.conf /workdir/rclone.conf
 
 WORKDIR /workdir
 ENV RUST_LOG=DEBUG
+ENV PLATFORM_URI=http://host.docker.internal:8080/
 EXPOSE 8000
 CMD [ "judger", "serve" ]