Ticket #7930: dev_server__force_script_name.diff

django/core/servers/basehttp.py

@@ -557 +557 @@
         BaseHTTPRequestHandler.__init__(self, *args, **kwargs)
 
     def get_environ(self):
+        from django.conf import settings
         env = self.server.base_environ.copy()
         env['SERVER_PROTOCOL'] = self.request_version
         env['REQUEST_METHOD'] = self.command
@@ -565 +566 @@
         else:
             path,query = self.path,''
 
+        if settings.FORCE_SCRIPT_NAME:
+            prefix='%s/' % settings.FORCE_SCRIPT_NAME
+            if path.startswith(prefix):
+                # Remove FORCE_SCRIPT_NAME if path starts with this string.
+                # This makes it possible to server dynamic content and static
+                # (which would be outside of FORCE_SCRIPT_NAME).
+                # Drawback: URLs like /scriptname/scriptname/ are not accessible.
+                path=path[len(prefix)-1:]
+
         env['PATH_INFO'] = urllib.unquote(path)
         env['QUERY_STRING'] = query
         env['REMOTE_ADDR'] = self.client_address[0]