debian/source/format
author David Douard <david.douard@logilab.fr>
Tue, 10 Apr 2012 17:07:03 +0200
changeset 8351 02f4f01375e8
parent 6708 09c98763ae9d
child 12642 5722d8c461eb
permissions -rw-r--r--
[repository] fire 'server_shutdown' hooks before waiting for theads This is required for threaded tasks that use the 'server_shutdown' hook to die properly, as for example the ZMQ server in an all-in-one configuration

1.0