Properly use kill command in init script. This fixes #5315.
Matthieu Kermagoret
9 years ago
103 | 103 | fi |
104 | 104 | |
105 | 105 | sleep 2 |
106 | kill 0 $pid > /dev/null 2>&1 | |
106 | kill -s 0 $pid > /dev/null 2>&1 | |
107 | 107 | if [ $? -ne 0 ]; then |
108 | 108 | log_failure_msg "$servicename $command: failed." |
109 | 109 | exit 1 |
124 | 124 | kill -TERM $pid |
125 | 125 | |
126 | 126 | for i in $(seq 1 $timeout); do |
127 | kill 0 $pid > /dev/null 2>&1 | |
127 | kill -s 0 $pid > /dev/null 2>&1 | |
128 | 128 | if [ $? -ne 0 ]; then |
129 | 129 | break |
130 | 130 | fi |
132 | 132 | sleep 1 |
133 | 133 | done |
134 | 134 | |
135 | kill 0 $pid > /dev/null 2>&1 | |
135 | kill -s 0 $pid > /dev/null 2>&1 | |
136 | 136 | if [ $? -eq 0 ]; then |
137 | 137 | kill -KILL $pid |
138 | 138 | fi |
172 | 172 | |
173 | 173 | service_status() { |
174 | 174 | if [ -f "$pid_file" ]; then |
175 | kill 0 `cat "$pid_file"` | |
175 | kill -s 0 `cat "$pid_file"` | |
176 | 176 | if [ $? -eq 0 ]; then |
177 | 177 | log_success_msg "$servicename $command: running" |
178 | 178 | exit 0 |