ctrl+C now kills scheduler too, issue 126, thanks Niphlod

VERSION

@@ -1 +1 @@
-Version 2.00.0 (2012-06-25 14:14:39) dev
+Version 2.00.0 (2012-06-25 14:18:18) dev

gluon/widget.py

@@ -859,7 +859,10 @@ def start_schedulers(options):
     for p in processes:
         try:
             p.join()
-        except KeyboardInterrupt:
+        except (KeyboardInterrupt, SystemExit):
+            print "Processes stopped"
+            raise
+        except:
             p.terminate()
             p.join()