[Commit-gnuradio] r8931 - gnuradio/branches/features/mp-sched/gnuradio-core/src/python/gnuradio/gr

[eb]

Author: eb
Date: 2008-07-17 17:26:40 -0600 (Thu, 17 Jul 2008)
New Revision: 8931

Modified:
   
gnuradio/branches/features/mp-sched/gnuradio-core/src/python/gnuradio/gr/top_block.py
Log:
control-C cleanup

Modified: 
gnuradio/branches/features/mp-sched/gnuradio-core/src/python/gnuradio/gr/top_block.py
===================================================================
--- 
gnuradio/branches/features/mp-sched/gnuradio-core/src/python/gnuradio/gr/top_block.py
       2008-07-17 22:57:31 UTC (rev 8930)
+++ 
gnuradio/branches/features/mp-sched/gnuradio-core/src/python/gnuradio/gr/top_block.py
       2008-07-17 23:26:40 UTC (rev 8931)
@@ -45,7 +45,7 @@
         self.event.set()
 
     def wait(self):
-        while True:
+        while not self.event.isSet():
             self.event.wait(0.100)