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 /TODO | |
| 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 'TODO')
0 files changed, 0 insertions, 0 deletions