Skip to content

Add thread-safe way to interrupt waitForSubscriptionEvent().#60

Merged
jontje merged 4 commits intoros-industrial:masterfrom robohouse-delft:interrupt-subscriptionOct 28, 2019