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 /pkg/tools | |
parent | 68b1be8ef443b088cf5c1f7f964e1bd7ad42408e (diff) |
Kill backend on quit if it does not respond.
Diffstat (limited to 'pkg/tools')
0 files changed, 0 insertions, 0 deletions