]> git.saurik.com Git - redis.git/commitdiff
in kill_server send the signal once, then wait for up to 5sec before sending lethal...
authorPremysl Hruby <dfenze@gmail.com>
Tue, 3 Apr 2012 12:18:35 +0000 (14:18 +0200)
committerantirez <antirez@gmail.com>
Thu, 5 Apr 2012 09:04:14 +0000 (11:04 +0200)

No differences found