]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/scripts/init.d/helm-tomcat
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / scripts / init.d / helm-tomcat
index 1c8d3d94e9db416377b69e8ad95b8e2b31e67cf1..166ab31b16229cc8f79ec4b5f33d69655499f38d 100755 (executable)
@@ -21,7 +21,9 @@ fi
 case "$1" in
 
   start)
+    echo -n "Loading UWOBO stylesheets (helm) ... "
     $UWOBO_INIT_SCRIPT > /dev/null
+    echo "done!"
     ;;
 
   stop)