equal
deleted
inserted
replaced
77 path = '/' + path |
77 path = '/' + path |
78 |
78 |
79 return name, str(port), path |
79 return name, str(port), path |
80 |
80 |
81 class hgwebdir(object): |
81 class hgwebdir(object): |
|
82 """HTTP server for multiple repositories. |
|
83 |
|
84 Given a configuration, different repositories will be served depending |
|
85 on the request path. |
|
86 |
|
87 Instances are typically used as WSGI applications. |
|
88 """ |
82 def __init__(self, conf, baseui=None): |
89 def __init__(self, conf, baseui=None): |
83 self.conf = conf |
90 self.conf = conf |
84 self.baseui = baseui |
91 self.baseui = baseui |
85 self.ui = None |
92 self.ui = None |
86 self.lastrefresh = 0 |
93 self.lastrefresh = 0 |