From a8175eba75a2e7f2314fb91731b544512f7988a0 Mon Sep 17 00:00:00 2001
From: yuetsh <517252939@qq.com>
Date: Wed, 24 Sep 2025 10:42:17 +0800
Subject: [PATCH] change server

---
 oj/dev_settings.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/oj/dev_settings.py b/oj/dev_settings.py
index 473f8b5..8ba9601 100644
--- a/oj/dev_settings.py
+++ b/oj/dev_settings.py
@@ -8,7 +8,7 @@ DATABASES = {
     "default": {
         "ENGINE": "django.db.backends.postgresql",
         "HOST": "10.13.114.114",
-        "PORT": "5432",
+        "PORT": "5433",
         "NAME": "onlinejudge",
         "USER": "onlinejudge",
         "PASSWORD": "onlinejudge",