diff options
author | Matthias P. Braendli <matthias.braendli@mpb.li> | 2017-05-12 10:20:23 +0200 |
---|---|---|
committer | Matthias P. Braendli <matthias.braendli@mpb.li> | 2017-05-12 10:20:23 +0200 |
commit | 5ac10e37d07cfe723ea4b396f08563889dff5a2b (patch) | |
tree | 54ebe59f371b216ae2f9253ac05dfc5b87b28238 /dpd | |
parent | 9bf9469ccdc037d26ccd69ac9e81e64d74fc7008 (diff) | |
download | dabmod-5ac10e37d07cfe723ea4b396f08563889dff5a2b.tar.gz dabmod-5ac10e37d07cfe723ea4b396f08563889dff5a2b.tar.bz2 dabmod-5ac10e37d07cfe723ea4b396f08563889dff5a2b.zip |
Properly terminate dpd server on ctrl-c
Diffstat (limited to 'dpd')
0 files changed, 0 insertions, 0 deletions