Axel Naumann 8e2700d753 Fix ZMQ issues with threading:
run all ZMQ send()s from the main thread; run cling in a sub-thread.
2017-05-02 11:59:10 +02:00
..
2017-03-31 16:44:04 +02:00
2017-05-02 11:59:10 +02:00