]> matita.cs.unibo.it Git - helm.git/commitdiff
script deprecated
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Apr 2004 15:56:08 +0000 (15:56 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Apr 2004 15:56:08 +0000 (15:56 +0000)
helm/scripts/init.d/uwobo_forever.sh

index cdebb64eae7bed10c69857d41896f79a9df26fac..a7985c464b27500ea54d0fd6a581663d2e83d509 100755 (executable)
@@ -1,4 +1,8 @@
 #!/bin/sh
+
+# THIS SCRIPT IS DEPRECATED, USE daemon_respawner.sh INSTEAD
+exit 0
+
 #
 # respawner for UWOBO (http://helm.cs.unibo.it/software/uwobo)
 #