]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/scripts/init.d/helm-http-getter
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / scripts / init.d / helm-http-getter
index 87f7a5b4b6da38ba8ec8c9d6705b3243e0fc6621..ac9c2cc0a67ed0bd38f29691936e20a5ca4f3432 100755 (executable)
@@ -4,7 +4,7 @@
 #
 # by --Zack <zack@cs.unibo.it>
 # Created: Tue,  8 Oct 2002 17:18:17 +0200
-# Last-Modified: Wed,  9 Oct 2002 11:12:01 +0200
+# Last-Modified: Tue,  8 Oct 2002 17:18:17 +0200
 
 DAEMON=/projects/helm/http_getter/http_getter.pl
 USAGE="Usage: /etc/init.d/helm-http-getter { start | stop | restart }"