]> granicus.if.org Git - ejabberd/commitdiff
projects / ejabberd / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: afaf681 06db65e)
Merge pull request #383 from weiss/fix-shutdown
authorbadlop <badlop@ono.com>
Wed, 7 Jan 2015 10:42:22 +0000 (11:42 +0100)
committerbadlop <badlop@ono.com>
Wed, 7 Jan 2015 10:42:22 +0000 (11:42 +0100)
Give temporary processes a little time to stop cleanly


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.