$OpenBSD: patch-django_core_servers_basehttp_py,v 1.2 2011/04/24 18:40:03 rpointel Exp $
--- django/core/servers/basehttp.py.orig	Thu Apr 21 23:45:26 2011
+++ django/core/servers/basehttp.py	Thu Apr 21 23:47:02 2011
@@ -14,6 +14,7 @@ import socket
 import sys
 import urllib
 import warnings
+import select
 
 from django.core.management.color import color_style
 from django.utils.http import http_date
@@ -693,4 +694,11 @@ def run(addr, port, wsgi_handler, ipv6=False):
     server_address = (addr, port)
     httpd = WSGIServer(server_address, WSGIRequestHandler, ipv6=ipv6)
     httpd.set_app(wsgi_handler)
-    httpd.serve_forever()
+
+    try:
+        httpd.serve_forever()
+    except select.error as (errno, msg):
+        # catch Interrupted system call exceptions
+        # (CTRL-C)
+        if errno != 4:
+            raise
