diff options
| author | Ivan Alejandro <ivanalejandro0@gmail.com> | 2014-07-22 16:10:10 -0300 |
|---|---|---|
| committer | Ivan Alejandro <ivanalejandro0@gmail.com> | 2014-07-22 16:15:19 -0300 |
| commit | aeacb80a34dc7b8996278e35e9cc888d93e2f853 (patch) | |
| tree | d7bb8582cf305f7920dc4e896149bcbe4fba31b7 /src/leap/bitmask/frontend_app.py | |
| parent | 68b1be8ef443b088cf5c1f7f964e1bd7ad42408e (diff) | |
Kill backend on quit if it does not respond.
Diffstat (limited to 'src/leap/bitmask/frontend_app.py')
| -rw-r--r-- | src/leap/bitmask/frontend_app.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/leap/bitmask/frontend_app.py b/src/leap/bitmask/frontend_app.py index 51607d0b..5ea89fc9 100644 --- a/src/leap/bitmask/frontend_app.py +++ b/src/leap/bitmask/frontend_app.py @@ -54,7 +54,7 @@ def signal_handler(window, pid, signum, frame): window.quit() -def run_frontend(options, flags_dict): +def run_frontend(options, flags_dict, backend_pid): """ Run the GUI for the application. @@ -102,7 +102,7 @@ def run_frontend(options, flags_dict): timer.start(500) # You may change this if you wish. timer.timeout.connect(lambda: None) # Let the interpreter run each 500 ms. - window = MainWindow(start_hidden=start_hidden) + window = MainWindow(start_hidden=start_hidden, backend_pid=backend_pid) my_pid = os.getpid() sig_handler = partial(signal_handler, window, my_pid) |