Index: server/common/oursrc/execsys/execsys-binfmt.pre
===================================================================
--- server/common/oursrc/execsys/execsys-binfmt.pre	(revision 109)
+++ server/common/oursrc/execsys/execsys-binfmt.pre	(revision 110)
@@ -1,9 +1,20 @@
 #!/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,4 +40,8 @@
     stop
     ;;
+force-reload)
+    stop
+    start
+    ;;
 restart)
     stop
@@ -34,5 +49,5 @@
     ;;
 *)
-    echo "Usage: $0 [start|stop|restart]" >&2
+    echo "Usage: $0 [start|stop|restart|force-reload]" >&2
     exit 2
     ;;