Fix, in case anyone interested:

--- a/custom_import.py  2011-10-01 12:03:20.000000000 +0200
+++ b/custom_import.py 2011-11-10 16:22:29.466847323 +0100
@@ -11,7 +11,7 @@
 def custom_import_install(web2py_path):
         global _web2py_importer
         global _web2py_path
-        if _web2py_importer:
+        if _web2py_path == web2py_path:
             return  # Already installed
         _web2py_path = web2py_path
         _web2py_importer = _Web2pyImporter(web2py_path)
--- a/main.py   2011-10-01 12:03:20.000000000 +0200
+++ b/main.py  2011-11-10 16:22:06.963343076 +0100
@@ -751,6 +751,7 @@
             global_settings.applications_parent = path
             os.chdir(path)
             [add_path_first(p) for p in (path, abspath('site-
packages'), "")]
+            custom_import_install(web2py_path)

         save_password(password, port)
         self.pid_filename = pid_filename

Reply via email to