index 94888ca815e1432c2769fe6e0c123ec20437151b..1656e13885b7abff7dbfc6b956c661e24c1cdd0b 100644 (file)
start-stop-daemon --start --quiet --pidfile ${PIDFILE_SERVER} --name ${SERVER} --startas ${DAEMON_SERVER} -- $1 $DEBUG
}
-# to be changed ugly
stop_server() {
start-stop-daemon --stop --retry 5 --quiet --pidfile ${PIDFILE_SERVER} --name ${SERVER}
-#kill `ps -C gosa-si-server -o pid=` > /dev/null 2>&1
-# ! ps -C gosa-si-server -o pid= > /dev/null 2>&1
}