Changeset 110 for server

Timestamp:

Jan 21, 2007, 3:02:02 PM (18 years ago)

Author:

tabbott

Message:

Add tags so that it's a happy initscript for Debian as well as Fedora

File:

• server/common/oursrc/execsys/execsys-binfmt.pre (modified) (3 diffs)

server/common/oursrc/execsys/execsys-binfmt.pre

@@ -1 +1 @@
 #!/bin/sh
 #
-# execsys-binfmt: test1 
+# execsys-binfmt: test1
 #
 # chkconfig: 2345 2 98
 # description: test2
 #
+### BEGIN INIT INFO
+# Provides:          execsys-binfmt
+# Required-Start:    $syslog
+# Required-Stop:     $syslog
+# Should-Start:      $local_fs
+# Should-Stop:       $local_fs
+# Default-Start:     2 3 4 5
+# Default-Stop:      0 1 6
+# Short-Description: Start scripts.mit.edu execsys system
+# Description:       Decides what interpreter to use to execute files
+### END INIT INFO
 
 stop ()
@@ -29 +40 @@
     stop
     ;;
+force-reload)
+    stop
+    start
+    ;;
 restart)
     stop
@@ -34 +49 @@
     ;;
 *)
-    echo "Usage: $0 [start|stop|restart]" >&2
+    echo "Usage: $0 [start|stop|restart|force-reload]" >&2
     exit 2
     ;;