in v8.0 wsgi_server.py (https://github.com/initOS/openerp-dav/blob/8.0/document_webdav_fast/wsgi_server.py), return_options(...) is called twice but not declared anywhere.
It misses when handler.command == 'OPTIONS' or environ['REQUEST_METHOD'] == 'OPTIONS'