app/main.py
changeset 684 896672e44e03
parent 324 05e21c089be6
child 1015 b9d51be5104a
--- a/app/main.py	Sat Dec 06 14:44:02 2008 +0000
+++ b/app/main.py	Sat Dec 06 14:46:19 2008 +0000
@@ -37,6 +37,8 @@
 
 sys.path.insert(0, os.path.abspath('django.zip'))
 
+ultimate_sys_path = None
+
 # Force Django to reload its settings.
 from django.conf import settings
 settings._target = None
@@ -61,6 +63,12 @@
 
 
 def main():
+  global ultimate_sys_path
+  if ultimate_sys_path is None:
+    ultimate_sys_path = list(sys.path)
+  else:
+    sys.path[:] = ultimate_sys_path
+
   # Create a Django application for WSGI.
   application = django.core.handlers.wsgi.WSGIHandler()