diff options
Diffstat (limited to 'bin/mctrl_r3')
| -rw-r--r-- | bin/mctrl_r3 | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/bin/mctrl_r3 b/bin/mctrl_r3 new file mode 100644 index 0000000..2373dd4 --- /dev/null +++ b/bin/mctrl_r3 @@ -0,0 +1,18 @@ +#!/bin/sh + +while [ 1 ]; do + count=`ls -l core.* |wc -l` + echo $count + if [ $count -lt 5 ] + then + echo "set unlimited" + ulimit -c unlimited + else + ulimit -c 0 + fi + + ./mctrl > /dev/null + echo program crashed, restart at `date +"%w %Y/%m/%d, %H:%M:%S"` >> RESTART.log + sleep 10 +done +~ |