]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/scripts/init.d/helm_mowgli
use new daemon_respawner.sh
[helm.git] / helm / scripts / init.d / helm_mowgli
index fe73ec0d7abef12a3df349710b483955a9788410..710859892f1217cb6f3ae8a4483bd18df8500976 100755 (executable)
@@ -28,7 +28,7 @@ case "$1" in
     else
       echo "Actually, considered daemons are: $DAEMONS"
     fi
-    echo "to change this setting see /etc/default/helm"
+    echo "to change this setting see /etc/default/helm_mowgli"
     echo
     exit 1
     ;;