wsgi/request.py
changeset 9941 8dc1c96d29f1
parent 9940 292f786009ba
child 9942 4b99196102f0
--- a/wsgi/request.py	Thu Jul 24 20:57:14 2014 +0200
+++ b/wsgi/request.py	Tue Sep 02 10:30:28 2014 +0200
@@ -61,7 +61,12 @@
                           if k.startswith('HTTP_'))
         if 'CONTENT_TYPE' in environ:
             headers_in['Content-Type'] = environ['CONTENT_TYPE']
-        https = environ.get("HTTPS") in ('yes', 'on', '1')
+        https = environ["wsgi.url_scheme"] == 'https'
+        if self.path.startswith('/https/'):
+            self.path = self.path[6:]
+            self.environ['PATH_INFO'] = self.path
+            https = True
+
         post, files = self.get_posted_data()
 
         super(CubicWebWsgiRequest, self).__init__(vreg, https, post,