diff options
| author | Richard Kreuter <richard@10gen.com> | 2011-03-17 12:30:24 -0400 |
|---|---|---|
| committer | Richard Kreuter <richard@10gen.com> | 2011-03-17 12:32:30 -0400 |
| commit | c0dc0be108b09a94ac6ce571869266e7f24c68c6 (patch) | |
| tree | 0b3f4fd030e8499e5842cab1966f3ed6cd298ec7 /debian/init.d | |
| parent | 9f74a0132cf2d78bf15e004f2924c58143849adf (diff) | |
| download | mongo-c0dc0be108b09a94ac6ce571869266e7f24c68c6.tar.gz | |
Wait 300s for server shutdown in deb initscripts. SERVER-2041, maybe.
Re: SERVER-2041, I can't reproduce the behavior the user reports, but
it could be a timing issue where the running mongod hasn't finished
shutting down before the next mongod tries to start.
Diffstat (limited to 'debian/init.d')
| -rw-r--r-- | debian/init.d | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/init.d b/debian/init.d index 47a10a0832e..59e94ae51d6 100644 --- a/debian/init.d +++ b/debian/init.d @@ -127,6 +127,7 @@ start_server() { stop_server() { # Stop the process using the wrapper start-stop-daemon --stop --quiet --pidfile $PIDFILE \ + --retry 300 \ --user $DAEMONUSER \ --exec $DAEMON errcode=$? |