--- a/cgi-bin/repos.cgi	Sun Oct 23 02:47:51 2011 +0100
+++ b/cgi-bin/repos.cgi	Sun Oct 23 02:50:55 2011 +0100
@@ -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.5/site-packages")
+sys.path.insert(0, "/usr/lib64/python3.1/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('/dcs/web/staff/urbanc/HGREPOS/hgweb.config')
+application = hgwebdir('/home/staff/urbanc/HGREPOS/hgweb.config')
 wsgicgi.launch(application)