# HG changeset patch
# User Alexander Smishlajev <a1s@users.sourceforge.net>
# Date 1101107490 0
# Node ID 996e2bab8d8a9cdcb45e0999eefa9ed9bc13d8e4
# Parent  a50e4f7c9276fdb7f2618c15f60bca2da165a6b7
propagate CGI_SHOW_TIMING from os.environ to request environment

diff -r a50e4f7c9276 -r 996e2bab8d8a roundup/scripts/roundup_server.py
--- a/roundup/scripts/roundup_server.py	Mon Nov 22 07:10:24 2004 +0000
+++ b/roundup/scripts/roundup_server.py	Mon Nov 22 07:11:30 2004 +0000
@@ -17,7 +17,7 @@
 
 """Command-line script that runs a server over roundup.cgi.client.
 
-$Id: roundup_server.py,v 1.73 2004-11-02 10:02:05 a1s Exp $
+$Id: roundup_server.py,v 1.74 2004-11-22 07:11:30 a1s Exp $
 """
 __docformat__ = 'restructuredtext'
 
@@ -213,6 +213,8 @@
         env['SERVER_NAME'] = self.server.server_name
         env['SERVER_PORT'] = str(self.server.server_port)
         env['HTTP_HOST'] = self.headers['host']
+        if os.environ.has_key('CGI_SHOW_TIMING'):
+            env['CGI_SHOW_TIMING'] = os.environ['CGI_SHOW_TIMING']
 
         # do the roundup thing
         tracker = self.get_tracker(tracker_name)