diff options
author | Matthias P. Braendli <matthias.braendli@mpb.li> | 2018-01-16 11:51:20 +0100 |
---|---|---|
committer | Matthias P. Braendli <matthias.braendli@mpb.li> | 2018-01-16 11:51:20 +0100 |
commit | c90e8a9f37444653ca0ae419f6d24b288e393dc6 (patch) | |
tree | 4e472d78d8af5baa5166d5ce05680411aad4d5c1 /Makefile.am | |
parent | 7db444f95310419382146d7f072670f2df855a5f (diff) | |
download | dabmod-c90e8a9f37444653ca0ae419f6d24b288e393dc6.tar.gz dabmod-c90e8a9f37444653ca0ae419f6d24b288e393dc6.tar.bz2 dabmod-c90e8a9f37444653ca0ae419f6d24b288e393dc6.zip |
Let ZeroMQ input timeout, so that SIGINT works too
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions