Esempio n. 1
0
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)
Esempio n. 2
0
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)
Esempio n. 3
0
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)