def wsgi_webdav(environ, start_response): pi = environ['PATH_INFO'] if environ['REQUEST_METHOD'] == 'OPTIONS' and pi in ['*', '/']: return return_options(environ, start_response) elif pi.startswith('/webdav'): http_dir = websrv_lib.find_http_service(pi) if http_dir: path = pi[len(http_dir.path):] if path.startswith('/'): environ['PATH_INFO'] = path else: environ['PATH_INFO'] = '/' + path return http_to_wsgi(http_dir)(environ, start_response)
def wsgi_webdav(environ, start_response): pi = environ['PATH_INFO'] if environ['REQUEST_METHOD'] == 'OPTIONS' and pi in ['*','/']: return return_options(environ, start_response) elif pi.startswith('/webdav'): http_dir = websrv_lib.find_http_service(pi) if http_dir: path = pi[len(http_dir.path):] if path.startswith('/'): environ['PATH_INFO'] = path else: environ['PATH_INFO'] = '/' + path return http_to_wsgi(http_dir)(environ, start_response)
def wsgi_webdav(environ, start_response): pi = environ["PATH_INFO"] if environ["REQUEST_METHOD"] == "OPTIONS" and pi in ["*", "/"]: return return_options(environ, start_response) elif pi.startswith("/webdav"): http_dir = websrv_lib.find_http_service(pi) if http_dir: path = pi[len(http_dir.path) :] if path.startswith("/"): environ["PATH_INFO"] = path else: environ["PATH_INFO"] = "/" + path return http_to_wsgi(http_dir)(environ, start_response)