diff options
author | Richard Kreuter <richard@10gen.com> | 2010-02-03 13:11:10 -0500 |
---|---|---|
committer | Richard Kreuter <richard@10gen.com> | 2010-02-03 13:11:10 -0500 |
commit | 32f3348ed8ec936dec30886e8be4c59591aeefc2 (patch) | |
tree | 3e38313842e47eb02820433d095cf0e349cc4dbf /debian | |
parent | 0aeea38d26638e7db8455ff7a05f789d519a65a3 (diff) | |
download | mongo-32f3348ed8ec936dec30886e8be4c59591aeefc2.tar.gz |
Prune more needless code from the debian init script. SERVER-591. MINOR
Diffstat (limited to 'debian')
-rw-r--r-- | debian/init.d | 23 | ||||
-rw-r--r-- | debian/mongodb.upstart (renamed from debian/ubuntu/mongodb.conf) | 0 |
2 files changed, 0 insertions, 23 deletions
diff --git a/debian/init.d b/debian/init.d index 1276a1548a7..f9ed0ed7962 100644 --- a/debian/init.d +++ b/debian/init.d @@ -82,21 +82,6 @@ DIETIME=10 # Time to wait for the server to die, in seconds DAEMONUSER=${DAEMONUSER:-mongodb} DAEMON_OPTS=${DAEMON_OPTS:-"--dbpath $DATA --logpath $LOGFILE run"} -# Check that the user exists (if we set a user) -# Does the user exist? -if [ -z "$DAEMONUSER" ]; then - log_failure_msg "The variable DAEMONUSER is unset or empty." - exit 1 -else - # Ensure the user exists. - if getent passwd | grep -q "^$DAEMONUSER:"; then - true # pass - else - log_failure_msg "The user $DAEMONUSER, required to run $NAME does not exist." - exit 1 - fi -fi - set -e @@ -134,18 +119,10 @@ start_server() { stop_server() { # Stop the process using the wrapper - if [ -z "$DAEMONUSER" ] ; then - start-stop-daemon --stop --quiet --pidfile $PIDFILE - rm $PIDFILE - errcode=$? - else -# if we are using a daemonuser then look for process that match start-stop-daemon --stop --quiet --pidfile $PIDFILE \ --user $DAEMONUSER \ --exec $DAEMON errcode=$? - fi - return $errcode } diff --git a/debian/ubuntu/mongodb.conf b/debian/mongodb.upstart index 90a5e442e46..90a5e442e46 100644 --- a/debian/ubuntu/mongodb.conf +++ b/debian/mongodb.upstart |