web/views/staticcontrollers.py
changeset 8427 63c4c65e4db1
parent 8389 94f26e3b09bf
child 8694 d901c36bcfce
--- a/web/views/staticcontrollers.py	Thu May 24 14:01:05 2012 +0200
+++ b/web/views/staticcontrollers.py	Fri May 25 16:19:21 2012 +0200
@@ -81,6 +81,8 @@
         self._cw.validate_cache()
         # XXX elif uri.startswith('/https/'): uri = uri[6:]
         mimetype, encoding = mimetypes.guess_type(path)
+        if mimetype is None:
+            mimetype = 'application/octet-stream'
         self._cw.set_content_type(mimetype, osp.basename(path), encoding)
         with open(path, 'rb') as resource:
             return resource.read()