django/django — pull request #448 by santtu (2012-10-17 14:37:34+00:00)
Title: #19137 - signal child when autoreloader parent is exiting on a signal

This is a fix for https://code.djangoproject.com/ticket/19137. It
works by setting signal handlers on SIGINT and SIGTERM, which will
send SIGINT to the autoreloaded child, if one has been started, and
then will exit themselves.