From 300842a050dc07ef9a4f117f0dccbd0d30b39c94 Mon Sep 17 00:00:00 2001
From: virusdefender <virusdefender@outllok.com>
Date: Mon, 4 Dec 2017 22:19:15 +0800
Subject: [PATCH] fix ci

---
 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 49d3f73..5c75a0b 100644
--- a/oj/dev_settings.py
+++ b/oj/dev_settings.py
@@ -7,7 +7,7 @@ DATABASES = {
     'default': {
         'ENGINE': 'django.db.backends.postgresql_psycopg2',
         'HOST': '127.0.0.1',
-        'PORT': 5432,
+        'PORT': 5433,
         'NAME': "onlinejudge",
         'USER': "onlinejudge",
         'PASSWORD': 'onlinejudge'