Index: django/core/servers/basehttp.py
===================================================================
--- django/core/servers/basehttp.py	(révision 7145)
+++ django/core/servers/basehttp.py	(copie de travail)
@@ -551,6 +551,11 @@
     def __init__(self, *args, **kwargs):
         from django.conf import settings
         self.admin_media_prefix = settings.ADMIN_MEDIA_PREFIX
+        # Need this or self.log_message() will die on some "bad requests",
+        # such as "OPTIONS * / HTTP/1.1".
+        # (Maybe this is a BaseHTTPRequestHandler bug?)
+        # See "9.2 OPTIONS" on http://www.w3.org/Protocols/rfc2616/rfc2616-sec9.html
+        self.path = '' 
         BaseHTTPRequestHandler.__init__(self, *args, **kwargs)
 
     def get_environ(self):