change server

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,
 }