diff -r c26e0373c24f -r ca56bbb99607 Admin/Mercurial/hgwebdir.cgi
--- 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)