# HG changeset patch
# User paulb
# Date 1209678340 0
# Node ID d9b2944bb1a124917dab76b646e5e9abdc1a0144
# Parent  5a80ded59a50293689f004652223fe84b473c72b
[project @ 2008-05-01 21:45:40 by paulb]
Added a deployment URL for the application, distinct from the 'app_url'
which is used to build redirection paths using the entire request path.

diff -r 5a80ded59a50 -r d9b2944bb1a1 examples/BaseHTTPRequestHandler/OpenIDLoginApp.py
--- a/examples/BaseHTTPRequestHandler/OpenIDLoginApp.py	Thu May 01 21:44:39 2008 +0000
+++ b/examples/BaseHTTPRequestHandler/OpenIDLoginApp.py	Thu May 01 21:45:40 2008 +0000
@@ -4,7 +4,8 @@
 from OpenIDLogin import get_site_map
 
 app_url = "http://localhost:8081" # No trailing "/"!
-resource = get_site_map(app_url)
+deployment_url = app_url
+resource = get_site_map(app_url, deployment_url)
 
 print "Serving..."
 deploy(resource, address=("", 8081), handle_errors=0)