diff options
| author | Kartik Patel <kartikpatel1995@gmail.com> | 2017-07-21 01:45:23 +0530 |
|---|---|---|
| committer | Kartik Patel <kartikpatel1995@gmail.com> | 2017-07-31 17:19:02 +0530 |
| commit | 5999bce89cdad39a6eb678b7e4b4063aef211c1d (patch) | |
| tree | f4e86d8949c59c4122cc43d92f07f56b0a215cd1 /grc/gui/ActionHandler.py | |
| parent | 37d373acee2112b0bb350e5abe09aca0115e5cc6 (diff) | |
grc: Terminate instead of kill with Terminate button
Diffstat (limited to 'grc/gui/ActionHandler.py')
| -rw-r--r-- | grc/gui/ActionHandler.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/grc/gui/ActionHandler.py b/grc/gui/ActionHandler.py index 5d48485238..017dab3346 100644 --- a/grc/gui/ActionHandler.py +++ b/grc/gui/ActionHandler.py @@ -626,9 +626,9 @@ class ActionHandler: elif action == Actions.FLOW_GRAPH_KILL: if page.get_proc(): try: - page.get_proc().kill() + page.term_proc() except: - print "could not kill process: %d" % page.get_proc().pid + print "could not terminate process: %d" % page.get_proc().pid elif action == Actions.PAGE_CHANGE: # pass and run the global actions pass elif action == Actions.RELOAD_BLOCKS: |