From 5f7bb13f272952df2d38afe1706ac7dc2d6ca6a1 Mon Sep 17 00:00:00 2001
From: Malcolm Tredinnick <malcolm.tredinnick@gmail.com>
Date: Mon, 30 Jun 2008 11:32:50 +0000
Subject: [PATCH] Fixed #6647 -- Add some more robustness to the development
 web server.

git-svn-id: http://code.djangoproject.com/svn/django/trunk@7801 bcc190cf-cafb-0310-a4f2-bffc1f526a37
---
 django/core/servers/basehttp.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/django/core/servers/basehttp.py b/django/core/servers/basehttp.py
index 5bdf08b8ca..f88f8c70bb 100644
--- a/django/core/servers/basehttp.py
+++ b/django/core/servers/basehttp.py
@@ -551,6 +551,9 @@ class WSGIRequestHandler(BaseHTTPRequestHandler):
     def __init__(self, *args, **kwargs):
         from django.conf import settings
         self.admin_media_prefix = settings.ADMIN_MEDIA_PREFIX
+        # We set self.path to avoid crashes in log_message() on unsupported
+        # requests (like "OPTIONS").
+        self.path = ''
         BaseHTTPRequestHandler.__init__(self, *args, **kwargs)
 
     def get_environ(self):