# HG changeset patch
# User paulb
# Date 1121526136 0
# Node ID a54c9beef7157b22cbe32ca4f7ef624cd6a8d202
# Parent  ec95c1edf600f2ae4d0ad7406422a192e2b9ce0a
[project @ 2005-07-16 15:02:16 by paulb]
Changed the application URL construction to omit port 80 qualification.

diff -r ec95c1edf600 -r a54c9beef715 examples/Common/Configurator/__init__.py
--- a/examples/Common/Configurator/__init__.py	Fri Jul 15 13:36:33 2005 +0000
+++ b/examples/Common/Configurator/__init__.py	Sat Jul 16 15:02:16 2005 +0000
@@ -90,8 +90,12 @@
 
             # Add information essential for in-page requests.
 
-            stylesheet_parameters["application-url"] = \
-                "http://%s:%s%s" % (trans.get_server_name(), trans.get_server_port(), trans.get_path_without_query())
+            if trans.get_server_port() == "80":
+                stylesheet_parameters["application-url"] = \
+                    "http://%s%s" % (trans.get_server_name(), trans.get_path_without_query())
+            else:
+                stylesheet_parameters["application-url"] = \
+                    "http://%s:%s%s" % (trans.get_server_name(), trans.get_server_port(), trans.get_path_without_query())
 
             # Complete the response.