diff options
Diffstat (limited to 'src/msec/msecgui')
-rwxr-xr-x | src/msec/msecgui | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/src/msec/msecgui b/src/msec/msecgui new file mode 100755 index 0000000..843eed0 --- /dev/null +++ b/src/msec/msecgui @@ -0,0 +1,34 @@ +#!/bin/sh +# +# Wrapper for msecgui +# + +if [ "`whoami`" != "root" ]; then + echo 'msec: sorry, you must be root !' + exit 1 +fi + +LCK=/var/run/msec.pid + +function cleanup() { + rm -f $LCK +} + +if [ -f $LCK ]; then + if [ -d /proc/`cat $LCK` ]; then + exit 0 + else + rm -f $LCK + fi +fi + +echo -n $$ > $LCK + +trap cleanup 0 + +MSEC=/usr/share/msec/msecgui.py +OPT="$@" + +$MSEC $OPT + +# msec ends here |