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 /Makefile | |
| 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 'Makefile')
0 files changed, 0 insertions, 0 deletions