From dda14cbd61875fb6cd506c187426fbb4d84c0ec5 Mon Sep 17 00:00:00 2001 From: poetwang Date: Sat, 23 Mar 2013 17:38:42 +0800 Subject: [PATCH] Write pid to file in windows --- settings.py | 14 ++++++++++++-- 1 file changed, 12 insertions(+), 2 deletions(-) diff --git a/settings.py b/settings.py index 4b7aa102b5..7663f432c4 100644 --- a/settings.py +++ b/settings.py @@ -331,6 +331,13 @@ else: load_local_settings(local_settings) del local_settings + +if 'win32' in sys.platform: + INSTALLED_APPS += ('django_wsgiserver', ) + fp = open(os.path.join(install_topdir, "seahub.pid"), 'w') + fp.write("%d\n" % os.getpid()) + fp.close() + # Load seahub_settings.py in server release try: sys.path.insert(0, install_topdir) @@ -340,11 +347,14 @@ except ImportError: else: # In server release, sqlite3 db file is /seahub.db DATABASES['default']['NAME'] = os.path.join(install_topdir, 'seahub.db') - # In server release, gunicorn is used to deploy seahub - INSTALLED_APPS += ('gunicorn', ) + if 'win32' not in sys.platform: + # In server release, gunicorn is used to deploy seahub + INSTALLED_APPS += ('gunicorn', ) + load_local_settings(seahub_settings) del seahub_settings + # Remove install_topdir from path sys.path.pop(0)