diff options
| author | Max Wu | 2017-01-20 09:39:04 +0800 |
|---|---|---|
| committer | GitHub | 2017-01-20 09:39:04 +0800 |
| commit | 1de4242473b74afdb2d3e358e3b213ef156ca0de (patch) | |
| tree | faa9e0a4f870445461f6aed6705825d9af4075d4 /tmp | |
| parent | 14734372956fa5d6c6159ba8c4b00a90b80ea8d6 (diff) | |
| parent | 20dc3127b106e18b41573299f75d75c6b77f958d (diff) | |
Merge pull request #321 from DrMurx/gracefulSigtermHandling
Handle SIGTERM the same way SIGINT is handled
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions