diff options
author | Fritz Elfert <felfert@to.com> | 2000-08-27 23:34:38 +0000 |
---|---|---|
committer | Fritz Elfert <felfert@to.com> | 2000-08-27 23:34:38 +0000 |
commit | 088423c49e616c16f55bae5453b46cf810648afc (patch) | |
tree | 9e15584fff46e49369e46cb1f1793c27af8f9300 /INSTALL | |
parent | 7d73847be2bb1ade9f08292d71e0a7ec0ee12876 (diff) | |
download | plptools-088423c49e616c16f55bae5453b46cf810648afc.tar.gz plptools-088423c49e616c16f55bae5453b46cf810648afc.tar.bz2 plptools-088423c49e616c16f55bae5453b46cf810648afc.zip |
Shutdown gracefully if killed with SIGTERM.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions