equal
deleted
inserted
replaced
333 # use SCRIPT_NAME, PATH_INFO and QUERY_STRING as well as our REPO_NAME |
333 # use SCRIPT_NAME, PATH_INFO and QUERY_STRING as well as our REPO_NAME |
334 |
334 |
335 req.url = req.env['SCRIPT_NAME'] |
335 req.url = req.env['SCRIPT_NAME'] |
336 if not req.url.endswith('/'): |
336 if not req.url.endswith('/'): |
337 req.url += '/' |
337 req.url += '/' |
338 if 'REPO_NAME' in req.env: |
338 if req.env.get('REPO_NAME'): |
339 req.url += req.env['REPO_NAME'] + '/' |
339 req.url += req.env['REPO_NAME'] + '/' |
340 |
340 |
341 if 'PATH_INFO' in req.env: |
341 if 'PATH_INFO' in req.env: |
342 parts = req.env['PATH_INFO'].strip('/').split('/') |
342 parts = req.env['PATH_INFO'].strip('/').split('/') |
343 repo_parts = req.env.get('REPO_NAME', '').split('/') |
343 repo_parts = req.env.get('REPO_NAME', '').split('/') |