--- a/Admin/Mercurial/hgwebdir.cgi Mon Aug 25 23:27:56 2008 +0200
+++ b/Admin/Mercurial/hgwebdir.cgi Tue Aug 26 11:42:46 2008 +0200
@@ -4,7 +4,7 @@
# adjust python path if not a system-wide install:
import sys
-sys.path.insert(0, "/home/isabelle/html-data/isabelle-repos/mercurial-www4/lib64/python2.4/site-packages")
+sys.path.insert(0, "/home/isabelle-repository/repos/mercurial-www4/lib64/python2.4/site-packages")
# enable importing on demand to reduce startup time
from mercurial import demandimport; demandimport.enable()
@@ -43,5 +43,5 @@
# Alternatively you can pass a list of ('virtual/path', '/real/path') tuples
# or use a dictionary with entries like 'virtual/path': '/real/path'
-application = hgwebdir('/home/isabelle/html-data/isabelle-repos/hgweb.config')
+application = hgwebdir('/home/isabelle-repository/repos/hgweb.config')
wsgicgi.launch(application)