diff options
author | Michael Schwarz <michi.schwarz@gmail.com> | 2015-09-26 14:39:59 +0200 |
---|---|---|
committer | Michael Schwarz <michi.schwarz@gmail.com> | 2015-10-02 00:26:00 +0200 |
commit | ba3bc0513ebf278d9570d9db5f95b93bad4f0706 (patch) | |
tree | 4eaf1432e6b9c8632bf6127403175eb0102406be /src/.gitignore | |
parent | 215ffeb9bbda413372d49bb9e6c958ec1de221d2 (diff) | |
download | pogojig-ba3bc0513ebf278d9570d9db5f95b93bad4f0706.tar.gz pogojig-ba3bc0513ebf278d9570d9db5f95b93bad4f0706.tar.bz2 pogojig-ba3bc0513ebf278d9570d9db5f95b93bad4f0706.zip |
Don’t mask exceptions when process.kill() fails.
Diffstat (limited to 'src/.gitignore')
0 files changed, 0 insertions, 0 deletions