diff options
| author | Jan Kunzmann | 2017-01-20 02:13:09 +0100 |
|---|---|---|
| committer | Jan Kunzmann | 2017-01-20 02:13:09 +0100 |
| commit | 20dc3127b106e18b41573299f75d75c6b77f958d (patch) | |
| tree | faa9e0a4f870445461f6aed6705825d9af4075d4 /public/vendor/ot/undo-manager.js | |
| parent | 14734372956fa5d6c6159ba8c4b00a90b80ea8d6 (diff) | |
Handle SIGTERM the same way SIGINT is handled
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions