--- session.py.orig0	2003-12-03 18:30:30.000000000 -0500
+++ session.py	2003-12-26 20:08:07.000000000 -0500
@@ -346,9 +346,16 @@
         returned to the client via 'request.response'.
         """
         config = get_publisher().config
+        if config.session_cookie_path:
+            path = config.session_cookie_path
+        else:
+            path = request.environ['SCRIPT_NAME']
+            if not path.endswith("/"):
+                path += "/"
+
         request.response.set_cookie(config.session_cookie_name, session_id,
-                                    domain = config.session_cookie_domain,
-                                    path = config.session_cookie_path)
+                                    domain=config.session_cookie_domain,
+                                    path=path)
 
     def revoke_session_cookie (self, request):
         """revoke_session_cookie(request : HTTPRequest)