source: server/common/oursrc/execsys/execsys-binfmt.pre @ 110

Last change on this file since 110 was 110, checked in by tabbott, 17 years ago
Add tags so that it's a happy initscript for Debian as well as Fedora
File size: 1.0 KB
Line 
1#!/bin/sh
2#
3# execsys-binfmt: test1
4#
5# chkconfig: 2345 2 98
6# description: test2
7#
8### BEGIN INIT INFO
9# Provides:          execsys-binfmt
10# Required-Start:    $syslog
11# Required-Stop:     $syslog
12# Should-Start:      $local_fs
13# Should-Stop:       $local_fs
14# Default-Start:     2 3 4 5
15# Default-Stop:      0 1 6
16# Short-Description: Start scripts.mit.edu execsys system
17# Description:       Decides what interpreter to use to execute files
18### END INIT INFO
19
20stop ()
21{
22    echo "-1" > /proc/sys/fs/binfmt_misc/status
23    umount /proc/sys/fs/binfmt_misc
24}
25
26start ()
27{
28    mount -t binfmt_misc none /proc/sys/fs/binfmt_misc
29# START-AUTOGENERATED: DO NOT EDIT THIS SECTION, INCLUDING THIS LINE!
30# This section is populated by the script upd-execsys
31# END-AUTOGENERATED: DO NOT EDIT THIS SECTION, INCLUDING THIS LINE!
32}
33
34case "$1" in
35start)
36    stop 2>/dev/null || :
37    start
38    ;;
39stop)
40    stop
41    ;;
42force-reload)
43    stop
44    start
45    ;;
46restart)
47    stop
48    start
49    ;;
50*)
51    echo "Usage: $0 [start|stop|restart|force-reload]" >&2
52    exit 2
53    ;;
54esac
55
56exit $?
Note: See TracBrowser for help on using the repository browser.