diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/fics_autorun | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/scripts/fics_autorun b/scripts/fics_autorun deleted file mode 100755 index fb77fef..0000000 --- a/scripts/fics_autorun +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/csh -limit stacksize unlimited -while (1) - ps aux | grep "fics -p 5000" | grep -v grep >! fics.pid - if (-z fics.pid ) then -# echo "doing mv stuff and running fics" - cat console.txt >>! console.old - rm console.txt - fics -p 5000 >>&! console.txt - endif -# echo "sleeping..." - sleep 10 -end - |