[RavenclawDev 289] [930] Pythia: Closing process monitor window now closes spawned processes.

[tk@edam.speech.cs.cmu.edu]

An HTML attachment was scrubbed...
URL: http://mailman.srv.cs.cmu.edu/pipermail/ravenclaw-developers/attachments/20070705/447eb436/attachment.html
-------------- next part --------------
Modified: Pythia/dist/library.zip
===================================================================
(Binary files differ)

Modified: Pythia/dist/process_monitor.exe
===================================================================
(Binary files differ)

Modified: Pythia/src/process_monitor.py
===================================================================
--- Pythia/src/process_monitor.py	2007-07-04 20:23:27 UTC (rev 929)
+++ Pythia/src/process_monitor.py	2007-07-05 21:32:08 UTC (rev 930)
@@ -1254,7 +1254,9 @@
     except ConfigurationError, text:
         print text
         Usage()
-    f = ProcessFrame(env, config)
+    root = Tk()
+    f = ProcessFrame(env, config, root)
+    root.protocol("WM_DELETE_WINDOW", lambda s = f: s.force_quit())
     signal.signal(signal.SIGINT, lambda n, stack, s = f: s.force_quit())
     signal.signal(signal.SIGTERM, lambda n, stack, s = f: s.force_quit())
     if hasattr(signal, "SIGQUIT"):
@@ -1269,5 +1271,4 @@
 	sys.stdout.flush()
 	f.quit()
     
-
 main()