diff -r 5edaca742d7e -r b70ef70733e8 Admin/Mercurial/hgwebdir.cgi
--- a/Admin/Mercurial/hgwebdir.cgi	Fri Nov 05 21:53:25 2010 +0100
+++ b/Admin/Mercurial/hgwebdir.cgi	Fri Nov 05 22:01:01 2010 +0100
@@ -4,7 +4,12 @@
 
 # adjust python path if not a system-wide install:
 import sys
-sys.path.insert(0, "/home/isabelle-repository/repos/mercurial-www4/lib64/python2.5/site-packages")
+# using the hg installation provided by the system (AK, 3.3.2010)
+#sys.path.insert(0, "/home/isabelle-repository/repos/mercurial-www4/lib64/python2.5/site-packages")
+#sys.path.insert(0, "/usr/lib64/python2.5/site-packages")
+#sys.path.insert(0, "/home/isabelle-repository/repos/mercurial-1.3.1/lib64")
+#sys.path.insert(0, "/home/isabelle-repository/repos/testtool")
+
 
 # enable importing on demand to reduce startup time
 from mercurial import demandimport; demandimport.enable()
@@ -20,6 +25,7 @@
 #
 import os
 os.environ["HGENCODING"] = "UTF-8"
+os.environ["HGRCPATH"] = "/home/isabelle-repository/repos/hgrc"
 
 from mercurial.hgweb.hgwebdir_mod import hgwebdir
 import mercurial.hgweb.wsgicgi as wsgicgi