Index: server/common/oursrc/execsys/execsys-binfmt.pre
===================================================================
--- server/common/oursrc/execsys/execsys-binfmt.pre	(revision 1)
+++ server/common/oursrc/execsys/execsys-binfmt.pre	(revision 27)
@@ -3,12 +3,39 @@
 # execsys-binfmt: test1 
 #
-# chkconfig: 2345 2 99
+# chkconfig: 2345 2 98
 # description: test2
 #
 
-mount -t binfmt_misc none /proc/sys/fs/binfmt_misc
-echo "-1" > /proc/sys/fs/binfmt_misc/status
+stop ()
+{
+    echo "-1" > /proc/sys/fs/binfmt_misc/status
+    umount /proc/sys/fs/binfmt_misc
+}
 
+start ()
+{
+    mount -t binfmt_misc none /proc/sys/fs/binfmt_misc
 # START-AUTOGENERATED: DO NOT EDIT THIS SECTION, INCLUDING THIS LINE!
 # This section is populated by the script upd-execsys
 # END-AUTOGENERATED: DO NOT EDIT THIS SECTION, INCLUDING THIS LINE!
+}
+
+case "$1" in
+start)
+    stop 2>/dev/null || :
+    start
+    ;;
+stop)
+    stop
+    ;;
+restart)
+    stop
+    start
+    ;;
+*)
+    echo "Usage: $0 [start|stop|restart]" >&2
+    exit 2
+    ;;
+esac
+
+exit $?