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/app.py | |
| parent | 68b1be8ef443b088cf5c1f7f964e1bd7ad42408e (diff) | |
Kill backend on quit if it does not respond.
Diffstat (limited to 'src/leap/bitmask/app.py')
| -rw-r--r-- | src/leap/bitmask/app.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/leap/bitmask/app.py b/src/leap/bitmask/app.py index 88f6bc15..ab49ee37 100644 --- a/src/leap/bitmask/app.py +++ b/src/leap/bitmask/app.py @@ -185,7 +185,7 @@ def start_app(): backend_process.daemon = True backend_process.start() - run_frontend(options, flags_dict) + run_frontend(options, flags_dict, backend_pid=backend_process.pid) if __name__ == "__main__": |