From 768360c5492a6bae3e86ade8728adb82c091be7b Mon Sep 17 00:00:00 2001
From: devnoname120 <devnoname120@gmail.com>
Date: Sat, 3 Nov 2018 11:49:14 +0100
Subject: [PATCH] Change port of backend to 80 in docker-compose

Extra judge servers are often run on a separate server, so the world-facing port needs to be used. `80` is the default world-facing port in `OnlineJudgeDeploy`.
---
 docker-compose.example.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker-compose.example.yml b/docker-compose.example.yml
index 36035fb..8786bfc 100644
--- a/docker-compose.example.yml
+++ b/docker-compose.example.yml
@@ -18,7 +18,7 @@ services:
             # - $PWD/server:/code:ro
             - $PWD/run:/judger
         environment:
-            - BACKEND_URL=http://backend:8000/api/judge_server_heartbeat
+            - BACKEND_URL=http://backend:80/api/judge_server_heartbeat
             - SERVICE_URL=http://judge-server:12358
             - TOKEN=YOUR_TOKEN_HERE
         ports: