summaryrefslogtreecommitdiff
path: root/tmp
diff options
context:
space:
mode:
authorMax Wu2017-01-20 09:39:04 +0800
committerGitHub2017-01-20 09:39:04 +0800
commit1de4242473b74afdb2d3e358e3b213ef156ca0de (patch)
treefaa9e0a4f870445461f6aed6705825d9af4075d4 /tmp
parent14734372956fa5d6c6159ba8c4b00a90b80ea8d6 (diff)
parent20dc3127b106e18b41573299f75d75c6b77f958d (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