# HG changeset patch
# User wenzelm
# Date 1215083070 -7200
# Node ID 145fa899fa3c7990b245e5818ba91f012d3a1afc
# Parent  62bab16792834e96b8352b5e437afe515f3d9320
Isabelle repository service.

diff -r 62bab1679283 -r 145fa899fa3c Admin/Mercurial/mercurial.cgi
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/Mercurial/mercurial.cgi	Thu Jul 03 13:04:30 2008 +0200
@@ -0,0 +1,28 @@
+#!/usr/bin/env python
+# $Id$
+# Isabelle repository service
+
+# 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")
+
+# enable importing on demand to reduce startup time
+from mercurial import demandimport; demandimport.enable()
+
+# to send python tracebacks to the browser if an error occurs:
+import cgitb
+cgitb.enable()
+
+# If you'd like to serve pages with UTF-8 instead of your default
+# locale charset, you can do so by uncommenting the following lines.
+# Note that this will cause your .hgrc files to be interpreted in
+# UTF-8 and all your repo files to be displayed using UTF-8.
+#
+import os
+os.environ["HGENCODING"] = "UTF-8"
+
+from mercurial.hgweb.hgweb_mod import hgweb
+import mercurial.hgweb.wsgicgi as wsgicgi
+
+application = hgweb("/home/isabelle/html-data/isabelle-repos/hg", "Isabelle repository")
+wsgicgi.launch(application)