Redis-server-init 1.6 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071
  1. #! /bin/sh
  2. ### BEGIN INIT INFO
  3. # Provides: redis-server
  4. # Required-Start: $syslog
  5. # Required-Stop: $syslog
  6. # Should-Start: $local_fs
  7. # Should-Stop: $local_fs
  8. # Default-Start: 2 3 4 5
  9. # Default-Stop: 0 1 6
  10. # Short-Description: redis-server - Persistent key-value db
  11. # Description: redis-server - Persistent key-value db
  12. ### END INIT INFO
  13. PATH=/usr/local/sbin:/usr/local/bin:/sbin:/bin:/usr/sbin:/usr/bin
  14. DAEMON=/usr/local/redis/bin/redis-server
  15. DAEMON_ARGS=/usr/local/redis/etc/redis.conf
  16. NAME=redis-server
  17. DESC=redis-server
  18. PIDFILE=/var/run/redis.pid
  19. test -x $DAEMON || exit 0
  20. test -x $DAEMONBOOTSTRAP || exit 0
  21. set -e
  22. case "$1" in
  23. start)
  24. echo -n "Starting $DESC: "
  25. touch $PIDFILE
  26. chown redis:redis $PIDFILE
  27. if start-stop-daemon --start --quiet --pidfile $PIDFILE --chuid redis:redis --exec $DAEMON -- $DAEMON_ARGS
  28. then
  29. echo "[OK]"
  30. else
  31. echo "failed"
  32. fi
  33. ;;
  34. stop)
  35. echo -n "Stopping $DESC: "
  36. if start-stop-daemon --stop --retry 10 --quiet --oknodo --pidfile $PIDFILE --exec $DAEMON
  37. then
  38. echo "[OK]"
  39. else
  40. echo "failed"
  41. fi
  42. rm -f $PIDFILE
  43. ;;
  44. status)
  45. if [ ! -r $PIDFILE ] ; then
  46. echo "redis-server is stopped"
  47. exit 0
  48. fi
  49. PID=`cat $PIDFILE`
  50. if ps -p $PID | grep -q $PID; then
  51. echo "redis-server (pid $PID) is running..."
  52. else
  53. echo "redis-server dead but pid file exists"
  54. fi
  55. ;;
  56. restart|force-reload)
  57. ${0} stop
  58. ${0} start
  59. ;;
  60. *)
  61. echo "Usage: /etc/init.d/$NAME {start|stop|restart|status|force-reload}" >&2
  62. exit 1
  63. ;;
  64. esac
  65. exit 0