replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
authorwenzelm
Mon Aug 04 19:25:59 2008 +0200 (2008-08-04)
changeset 277256d133c2b681f
parent 27724 0cc30a837f26
child 27726 d32ecc8c0817
replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
Admin/Mercurial/hgwebdir.cgi
Admin/Mercurial/mercurial.cgi
Admin/makedist_mercurial
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/Admin/Mercurial/hgwebdir.cgi	Mon Aug 04 19:25:59 2008 +0200
     1.3 @@ -0,0 +1,47 @@
     1.4 +#!/usr/bin/env python
     1.5 +#
     1.6 +# An example CGI script to export multiple hgweb repos, edit as necessary
     1.7 +
     1.8 +# adjust python path if not a system-wide install:
     1.9 +import sys
    1.10 +sys.path.insert(0, "/home/isabelle/html-data/isabelle-repos/mercurial-www4/lib64/python2.4/site-packages")
    1.11 +
    1.12 +# enable importing on demand to reduce startup time
    1.13 +from mercurial import demandimport; demandimport.enable()
    1.14 +
    1.15 +# Uncomment to send python tracebacks to the browser if an error occurs:
    1.16 +import cgitb
    1.17 +cgitb.enable()
    1.18 +
    1.19 +# If you'd like to serve pages with UTF-8 instead of your default
    1.20 +# locale charset, you can do so by uncommenting the following lines.
    1.21 +# Note that this will cause your .hgrc files to be interpreted in
    1.22 +# UTF-8 and all your repo files to be displayed using UTF-8.
    1.23 +#
    1.24 +import os
    1.25 +os.environ["HGENCODING"] = "UTF-8"
    1.26 +
    1.27 +from mercurial.hgweb.hgwebdir_mod import hgwebdir
    1.28 +import mercurial.hgweb.wsgicgi as wsgicgi
    1.29 +
    1.30 +# The config file looks like this.  You can have paths to individual
    1.31 +# repos, collections of repos in a directory tree, or both.
    1.32 +#
    1.33 +# [paths]
    1.34 +# virtual/path = /real/path
    1.35 +# virtual/path = /real/path
    1.36 +#
    1.37 +# [collections]
    1.38 +# /prefix/to/strip/off = /root/of/tree/full/of/repos
    1.39 +#
    1.40 +# collections example: say directory tree /foo contains repos /foo/bar,
    1.41 +# /foo/quux/baz.  Give this config section:
    1.42 +#   [collections]
    1.43 +#   /foo = /foo
    1.44 +# Then repos will list as bar and quux/baz.
    1.45 +#
    1.46 +# Alternatively you can pass a list of ('virtual/path', '/real/path') tuples
    1.47 +# or use a dictionary with entries like 'virtual/path': '/real/path'
    1.48 +
    1.49 +application = hgwebdir('/home/isabelle/html-data/isabelle-repos/hgweb.config')
    1.50 +wsgicgi.launch(application)
     2.1 --- a/Admin/Mercurial/mercurial.cgi	Mon Aug 04 18:57:35 2008 +0200
     2.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.3 @@ -1,28 +0,0 @@
     2.4 -#!/usr/bin/env python
     2.5 -# $Id$
     2.6 -# Isabelle repository service
     2.7 -
     2.8 -# adjust python path if not a system-wide install:
     2.9 -import sys
    2.10 -sys.path.insert(0, "/home/isabelle/html-data/isabelle-repos/mercurial-www4/lib64/python2.4/site-packages")
    2.11 -
    2.12 -# enable importing on demand to reduce startup time
    2.13 -from mercurial import demandimport; demandimport.enable()
    2.14 -
    2.15 -# to send python tracebacks to the browser if an error occurs:
    2.16 -import cgitb
    2.17 -cgitb.enable()
    2.18 -
    2.19 -# If you'd like to serve pages with UTF-8 instead of your default
    2.20 -# locale charset, you can do so by uncommenting the following lines.
    2.21 -# Note that this will cause your .hgrc files to be interpreted in
    2.22 -# UTF-8 and all your repo files to be displayed using UTF-8.
    2.23 -#
    2.24 -import os
    2.25 -os.environ["HGENCODING"] = "UTF-8"
    2.26 -
    2.27 -from mercurial.hgweb.hgweb_mod import hgweb
    2.28 -import mercurial.hgweb.wsgicgi as wsgicgi
    2.29 -
    2.30 -application = hgweb("/home/isabelle/html-data/isabelle-repos/hg", "Isabelle repository")
    2.31 -wsgicgi.launch(application)
     3.1 --- a/Admin/makedist_mercurial	Mon Aug 04 18:57:35 2008 +0200
     3.2 +++ b/Admin/makedist_mercurial	Mon Aug 04 19:25:59 2008 +0200
     3.3 @@ -6,7 +6,7 @@
     3.4  
     3.5  ## global settings
     3.6  
     3.7 -REPOS="http://isabelle.in.tum.de/isabelle-bin/mercurial.cgi"
     3.8 +REPOS="http://isabelle.in.tum.de/repos/isabelle"
     3.9  
    3.10  DISTPREFIX=${DISTPREFIX:-~/tmp/isadist}
    3.11