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

---
 oj/dev_settings.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/oj/dev_settings.py b/oj/dev_settings.py
index 4a7e562..473f8b5 100644
--- a/oj/dev_settings.py
+++ b/oj/dev_settings.py
@@ -7,7 +7,7 @@ BASE_DIR = os.path.dirname(os.path.dirname(os.path.abspath(__file__)))
 DATABASES = {
     "default": {
         "ENGINE": "django.db.backends.postgresql",
-        "HOST": "150.158.29.156",
+        "HOST": "10.13.114.114",
         "PORT": "5432",
         "NAME": "onlinejudge",
         "USER": "onlinejudge",
@@ -16,7 +16,7 @@ DATABASES = {
 }
 
 REDIS_CONF = {
-    "host": "150.158.29.156",
+    "host": "10.13.114.114",
     "port": 6379,
 }