[gnome-sudoku] Stop generating sudokus when cancelled

[Michael Catanzaro <mcatanzaro src gnome org>]

commit d446a89a626b83c3084253f06329e69f99c533aa
Author: Michael Catanzaro <mcatanzaro gnome org>
Date:   Wed Mar 18 10:35:31 2015 -0500

    Stop generating sudokus when cancelled
    
    https://bugzilla.gnome.org/show_bug.cgi?id=736773

 lib/sudoku-generator.vala |    5 +++++
 1 files changed, 5 insertions(+), 0 deletions(-)
---
diff --git a/lib/sudoku-generator.vala b/lib/sudoku-generator.vala
index 1287d20..31ce7fa 100644
--- a/lib/sudoku-generator.vala
+++ b/lib/sudoku-generator.vala
@@ -87,6 +87,11 @@ public class SudokuGenerator : Object
             worker.run ();
         }, (int) get_num_processors (), false);
 
+        cancellable.connect(() => {
+            ThreadPool.free((owned) pool, true, false);
+            generate_boards_async.callback();
+        });
+
         for (var i = 0; i < nboards; i++)
         {
             pool.add (new Worker (nboards, category, boards, generate_boards_async.callback));