diff options
author | Ivan Alejandro <ivanalejandro0@gmail.com> | 2014-04-10 15:30:48 -0300 |
---|---|---|
committer | Ivan Alejandro <ivanalejandro0@gmail.com> | 2014-04-15 15:00:09 -0300 |
commit | c45558a1b96917e00b931c58034c2d3db187d63b (patch) | |
tree | 3f9395862d078fec8f401ec60c997b00e50468ec /docs/dev | |
parent | a4772ef52bb7f258a079aaa88cc41a4f8e086073 (diff) |
Handle trying to kill a non running process.
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions