change server

2025-09-24 10:42:17 +08:00
parent 40663de7c6
commit a8175eba75
1 changed files with 1 additions and 1 deletions
--- 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",