# HG changeset patch
# User wenzelm
# Date 1217870759 -7200
# Node ID 6d133c2b681f954514f49715cfa073c04f8db3a5
# Parent  0cc30a837f26baf48eae1363bfed1bb7411ce333
replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/

diff -r 0cc30a837f26 -r 6d133c2b681f Admin/Mercurial/hgwebdir.cgi
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/Mercurial/hgwebdir.cgi	Mon Aug 04 19:25:59 2008 +0200
@@ -0,0 +1,47 @@
+#!/usr/bin/env python
+#
+# An example CGI script to export multiple hgweb repos, edit as necessary
+
+# 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()
+
+# Uncomment 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.hgwebdir_mod import hgwebdir
+import mercurial.hgweb.wsgicgi as wsgicgi
+
+# The config file looks like this.  You can have paths to individual
+# repos, collections of repos in a directory tree, or both.
+#
+# [paths]
+# virtual/path = /real/path
+# virtual/path = /real/path
+#
+# [collections]
+# /prefix/to/strip/off = /root/of/tree/full/of/repos
+#
+# collections example: say directory tree /foo contains repos /foo/bar,
+# /foo/quux/baz.  Give this config section:
+#   [collections]
+#   /foo = /foo
+# Then repos will list as bar and quux/baz.
+#
+# 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')
+wsgicgi.launch(application)
diff -r 0cc30a837f26 -r 6d133c2b681f Admin/Mercurial/mercurial.cgi
--- a/Admin/Mercurial/mercurial.cgi	Mon Aug 04 18:57:35 2008 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,28 +0,0 @@
-#!/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)
diff -r 0cc30a837f26 -r 6d133c2b681f Admin/makedist_mercurial
--- a/Admin/makedist_mercurial	Mon Aug 04 18:57:35 2008 +0200
+++ b/Admin/makedist_mercurial	Mon Aug 04 19:25:59 2008 +0200
@@ -6,7 +6,7 @@
 
 ## global settings
 
-REPOS="http://isabelle.in.tum.de/isabelle-bin/mercurial.cgi"
+REPOS="http://isabelle.in.tum.de/repos/isabelle"
 
 DISTPREFIX=${DISTPREFIX:-~/tmp/isadist}