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 /lib/ot/editor-socketio-server.js | |
| parent | 14734372956fa5d6c6159ba8c4b00a90b80ea8d6 (diff) | |
Handle SIGTERM the same way SIGINT is handled
Diffstat (limited to 'lib/ot/editor-socketio-server.js')
0 files changed, 0 insertions, 0 deletions