1.1 --- a/examples/Common/Configurator/__init__.py Fri Jul 15 13:36:33 2005 +0000
1.2 +++ b/examples/Common/Configurator/__init__.py Sat Jul 16 15:02:16 2005 +0000
1.3 @@ -90,8 +90,12 @@
1.4
1.5 # Add information essential for in-page requests.
1.6
1.7 - stylesheet_parameters["application-url"] = \
1.8 - "http://%s:%s%s" % (trans.get_server_name(), trans.get_server_port(), trans.get_path_without_query())
1.9 + if trans.get_server_port() == "80":
1.10 + stylesheet_parameters["application-url"] = \
1.11 + "http://%s%s" % (trans.get_server_name(), trans.get_path_without_query())
1.12 + else:
1.13 + stylesheet_parameters["application-url"] = \
1.14 + "http://%s:%s%s" % (trans.get_server_name(), trans.get_server_port(), trans.get_path_without_query())
1.15
1.16 # Complete the response.
1.17