Admin/Mercurial/hgwebdir.cgi
author wenzelm
Wed, 15 Apr 2009 11:14:48 +0200
changeset 30895 bad26d8f0adf
parent 28930 6d677da7b339
child 40385 b70ef70733e8
permissions -rwxr-xr-x
updated for Isabelle2009;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
27725
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
     1
#!/usr/bin/env python
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
     2
#
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
     3
# An example CGI script to export multiple hgweb repos, edit as necessary
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
     4
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
     5
# adjust python path if not a system-wide install:
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
     6
import sys
28930
6d677da7b339 updated to python2.5;
wenzelm
parents: 28000
diff changeset
     7
sys.path.insert(0, "/home/isabelle-repository/repos/mercurial-www4/lib64/python2.5/site-packages")
27725
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
     8
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
     9
# enable importing on demand to reduce startup time
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    10
from mercurial import demandimport; demandimport.enable()
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    11
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    12
# Uncomment to send python tracebacks to the browser if an error occurs:
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    13
import cgitb
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    14
cgitb.enable()
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    15
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    16
# If you'd like to serve pages with UTF-8 instead of your default
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    17
# locale charset, you can do so by uncommenting the following lines.
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    18
# Note that this will cause your .hgrc files to be interpreted in
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    19
# UTF-8 and all your repo files to be displayed using UTF-8.
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    20
#
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    21
import os
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    22
os.environ["HGENCODING"] = "UTF-8"
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    23
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    24
from mercurial.hgweb.hgwebdir_mod import hgwebdir
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    25
import mercurial.hgweb.wsgicgi as wsgicgi
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    26
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    27
# The config file looks like this.  You can have paths to individual
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    28
# repos, collections of repos in a directory tree, or both.
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    29
#
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    30
# [paths]
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    31
# virtual/path = /real/path
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    32
# virtual/path = /real/path
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    33
#
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    34
# [collections]
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    35
# /prefix/to/strip/off = /root/of/tree/full/of/repos
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    36
#
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    37
# collections example: say directory tree /foo contains repos /foo/bar,
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    38
# /foo/quux/baz.  Give this config section:
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    39
#   [collections]
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    40
#   /foo = /foo
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    41
# Then repos will list as bar and quux/baz.
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    42
#
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    43
# Alternatively you can pass a list of ('virtual/path', '/real/path') tuples
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    44
# or use a dictionary with entries like 'virtual/path': '/real/path'
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    45
28000
ca56bbb99607 replaced /home/isabelle/html-data/isabelle-repos by /home/isabelle-repository/repos;
wenzelm
parents: 27725
diff changeset
    46
application = hgwebdir('/home/isabelle-repository/repos/hgweb.config')
27725
6d133c2b681f replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/
wenzelm
parents:
diff changeset
    47
wsgicgi.launch(application)