diff options
Diffstat (limited to 'meta-oe/recipes-extended/redis/redis-7/init-redis-server')
-rwxr-xr-x | meta-oe/recipes-extended/redis/redis-7/init-redis-server | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/meta-oe/recipes-extended/redis/redis-7/init-redis-server b/meta-oe/recipes-extended/redis/redis-7/init-redis-server index 6014d70c0..c5f335f57 100755 --- a/meta-oe/recipes-extended/redis/redis-7/init-redis-server +++ b/meta-oe/recipes-extended/redis/redis-7/init-redis-server | |||
@@ -27,6 +27,37 @@ case "$1" in | |||
27 | restart) | 27 | restart) |
28 | echo "Stopping redis-server..." | 28 | echo "Stopping redis-server..." |
29 | start-stop-daemon --stop --quiet --exec /usr/bin/redis-server | 29 | start-stop-daemon --stop --quiet --exec /usr/bin/redis-server |
30 | |||
31 | # Since busybox implementation ignores --retry arguments repeatedly check | ||
32 | # if the process is still running and try another signal after a timeout, | ||
33 | # efectively simulating a stop with --retry=TERM/5/KILL/5 schedule. | ||
34 | waitAfterTerm=5000000 # us / 5000 ms / 5 s | ||
35 | waitAfterKill=5000000 # us / 5000 ms / 5 s | ||
36 | waitStep=100000 # us / 100 ms / 0.1 s | ||
37 | waited=0 | ||
38 | start-stop-daemon --stop --test --quiet --exec /usr/bin/redis-server | ||
39 | processOff=$? | ||
40 | while [ $processOff -eq 0 ] && [ $waited -le $waitAfterTerm ] ; do | ||
41 | usleep ${waitStep} | ||
42 | ((waited+=${waitStep})) | ||
43 | start-stop-daemon --stop --test --quiet --exec /usr/bin/redis-server | ||
44 | processOff=$? | ||
45 | done | ||
46 | if [ $processOff -eq 0 ] ; then | ||
47 | start-stop-daemon --stop --signal KILL --exec /usr/bin/redis-server | ||
48 | start-stop-daemon --stop --test --quiet --exec /usr/bin/redis-server | ||
49 | processOff=$? | ||
50 | fi | ||
51 | waited=0 | ||
52 | while [ $processOff -eq 0 ] && [ $waited -le $waitAfterKill ] ; do | ||
53 | usleep ${waitStep} | ||
54 | ((waited+=${waitStep})) | ||
55 | start-stop-daemon --stop --test --quiet --exec /usr/bin/redis-server | ||
56 | processOff=$? | ||
57 | done | ||
58 | # Here $processOff will indicate if waiting and retrying according to | ||
59 | # the schedule ended in a successfull stop or not. | ||
60 | |||
30 | echo "Starting redis-server..." | 61 | echo "Starting redis-server..." |
31 | start-stop-daemon --start --quiet --exec /usr/bin/redis-server -- $ARGS | 62 | start-stop-daemon --start --quiet --exec /usr/bin/redis-server -- $ARGS |
32 | ;; | 63 | ;; |