diff options
Diffstat (limited to '.inspircd.inc')
| -rw-r--r-- | .inspircd.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.inspircd.inc b/.inspircd.inc index a3df44eac..05cbe0ea0 100644 --- a/.inspircd.inc +++ b/.inspircd.inc @@ -261,7 +261,7 @@ sub cmd_stop() # Get to here, we have something to kill. my $pid = getprocessid(); print "Stopping InspIRCd (pid: $pid)...\n"; - my $maxwait = (`ps -o command $pid` =~ /valgrind/i) ? 90 : 5; + my $maxwait = (`ps -o command $pid` =~ /valgrind/i) ? 90 : 15; kill TERM => $pid or die "Cannot terminate IRCd: $!\n"; for (1..$maxwait) { sleep 1; |