diff options
Diffstat (limited to '.inspircd.inc')
| -rw-r--r-- | .inspircd.inc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.inspircd.inc b/.inspircd.inc index 78c75f32c..2cee69712 100644 --- a/.inspircd.inc +++ b/.inspircd.inc @@ -94,7 +94,14 @@ sub stop { if (getstatus() == 0) { print "InspIRCd is not running. (Or PID File not found)"; return 0; } # Get to here, we have something to kill. my $pid = getprocessid(); + print "Stopping InspIRCd...\n" system("kill -TERM $pid >/dev/null 2>&1"); + sleep 2; + if (getstatus() == 1) + { + print "InspIRCd not dying Quietly -- Forcing Kill\n"; + system("kill -9 $pid >/dev/null 2>&1"); + } print "InspIRCd Stopped.\n"; } |