Sönke Ludwig aa9a08f571 Explicitly dispose the event driver on thread shutdown. ... Handle multiple calls to dispose() gracefully, because external code may already make an explicit call to dispose().		2017-11-23 23:11:16 +01:00
..
eventcore	Explicitly dispose the event driver on thread shutdown.	2017-11-23 23:11:16 +01:00