Yet another index servlet redirection fix

Cito · Cito · commit 02bade45bc45 · 2019-09-01T13:25:25.000+02:00
diff --git a/WebKit/Examples/index.py b/WebKit/Examples/index.py
@@ -6,7 +6,7 @@ class index(HTTPServlet):
     def respond(self, trans):
         extraPath = trans.request().extraURLPath()
         path = trans.request().urlPath()
-        if path.endswith(extraPath):
+        if extraPath and path.endswith(extraPath):
             path = path[:-len(extraPath)]
         if not path.endswith('Welcome'):
             path = path.rpartition('/')[0] + '/Welcome' + extraPath
