diff options
| author | Florian Weimer <fw@deneb.enyo.de> | 2008-12-01 19:05:26 +0000 |
|---|---|---|
| committer | Florian Weimer <fw@deneb.enyo.de> | 2008-12-01 19:05:26 +0000 |
| commit | 1d36da1610e36ca2316a97ec0c00a8d5db92b074 (patch) | |
| tree | 515f47184d5ac9bf04851ec5e443ad44deee6069 /lib | |
| parent | 4c6f0eb180525b8213aa5c905be9047db3ab60e0 (diff) | |
lib/python/web_support.py: Include server port in generated URLs
This allows us to run the service on a non-default port.
git-svn-id: svn+ssh://svn.debian.org/svn/secure-testing@10567 e39458fd-73e7-0310-bf30-c45bca0a0e42
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/python/web_support.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/python/web_support.py b/lib/python/web_support.py index f4bd853f00..d4e10ccb90 100644 --- a/lib/python/web_support.py +++ b/lib/python/web_support.py @@ -658,6 +658,9 @@ class WebService(Service): params = cgi.parse(data, environment) path = environment.get('PATH_INFO', '') server_name = environment.get('SERVER_NAME', '') + server_port = environment.get('SERVER_PORT', '') + if server_port and server_port <> 80: + server_name = server_name + ":" + server_port script_name = environment.get('SCRIPT_NAME', '') try: |