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