[gnome-sudoku/gnome-3-10] Properly die on SIGINT

[Michael Catanzaro <mcatanzaro src gnome org>]

commit 07a83928637fafb2c8c6b74dae172102347dab5d
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 |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/src/lib/main.py b/src/lib/main.py
index 557e5d3..d6c2a98 100644
--- a/src/lib/main.py
+++ b/src/lib/main.py
@@ -15,6 +15,7 @@ import game_selector
 import gsudoku
 import printing
 import saver
+import signal
 import sudoku_maker
 import timer
 import tracker_info
@@ -966,6 +967,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()