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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
6708
09c98763ae9d [pkg/debian] Add source format information
Pierre-Yves David <pierre-yves.david@logilab.fr>
parents:
diff changeset
     1
1.0