[gnome-sudoku] Properly die on SIGINT

[Michael Catanzaro <mcatanzaro src gnome org>]

commit f5a382d480e33ed98e81b0f2888b7c2d4505360d
Author: Michael Catanzaro <mcatanzaro gnome org>
Date:   Thu Nov 7 21:56:28 2013 -0600

    Properly die on SIGINT
    
    https://bugzilla.gnome.org/show_bug.cgi?id=703169

 src/lib/main.py |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/src/lib/main.py b/src/lib/main.py
index 146a448..f303d93 100644
--- a/src/lib/main.py
+++ b/src/lib/main.py
@@ -1,5 +1,6 @@
 # -*- coding: utf-8 -*-
 import os.path
+import signal
 import threading
 
 import gi
@@ -19,7 +20,6 @@ from . import sudoku_maker
 from . import timer
 from . import tracker_info
 from .defaults import (APPNAME, APPNAME_SHORT, AUTHORS, COPYRIGHT, DESCRIPTION, DOMAIN,
-        IMAGE_DIR, MIN_NEW_PUZZLES, UI_DIR, VERSION, WEBSITE, WEBSITE_LABEL)
 from .gtk_goodies import Undo, dialog_extras
 from .simple_debug import simple_debug, options
 
@@ -966,6 +966,9 @@ def start_game ():
     if options.debug:
         print('Starting GNOME Sudoku in debug mode')
 
+    # Quick fix for bug #703169
+    signal.signal(signal.SIGINT, signal.SIG_DFL)
+
     ##  You must call g_thread_init() before executing any other GLib
     ##  functions in a threaded GLib program.
     GObject.threads_init()