equal
deleted
inserted
replaced
170 if not req.url.endswith('/'): |
170 if not req.url.endswith('/'): |
171 req.url += '/' |
171 req.url += '/' |
172 if 'REPO_NAME' in req.env: |
172 if 'REPO_NAME' in req.env: |
173 req.url += req.env['REPO_NAME'] + '/' |
173 req.url += req.env['REPO_NAME'] + '/' |
174 |
174 |
175 if req.env.get('PATH_INFO'): |
175 if 'PATH_INFO' in req.env: |
176 parts = req.env.get('PATH_INFO').strip('/').split('/') |
176 parts = req.env['PATH_INFO'].strip('/').split('/') |
177 repo_parts = req.env.get('REPO_NAME', '').split('/') |
177 repo_parts = req.env.get('REPO_NAME', '').split('/') |
178 if parts[:len(repo_parts)] == repo_parts: |
178 if parts[:len(repo_parts)] == repo_parts: |
179 parts = parts[len(repo_parts):] |
179 parts = parts[len(repo_parts):] |
180 query = '/'.join(parts) |
180 query = '/'.join(parts) |
181 else: |
181 else: |