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 /public/views/includes | |
parent | 14734372956fa5d6c6159ba8c4b00a90b80ea8d6 (diff) | |
parent | 20dc3127b106e18b41573299f75d75c6b77f958d (diff) |
Merge pull request #321 from DrMurx/gracefulSigtermHandling
Handle SIGTERM the same way SIGINT is handled
Diffstat (limited to 'public/views/includes')
0 files changed, 0 insertions, 0 deletions