chiark / gitweb /
Makefile: Add `dist' target.
[chopwood] / chpwd
diff --git a/chpwd b/chpwd
index 7190ddf6752d824e96dd44f4e35bd8534f237409..9f483deb6877e3a77b3fcc7fae3c93f49736852e 100755 (executable)
--- a/chpwd
+++ b/chpwd
@@ -208,7 +208,9 @@ if __name__ == '__main__':
     ## over HTTP is done in `dispatch_cgi'.
 
     with OUT.redirect_to(CGI.HTTPOutput()):
-      with CGI.cgi_errors(cgi_setup): dispatch_cgi()
+      with U.Escape() as CGI.HEADER_DONE:
+        with CGI.cgi_errors(cgi_setup):
+          dispatch_cgi()
 
   elif 'USERV_SERVICE' in ENV:
     ## This is a Userv request.  The caller's user name is helpfully in the