diff options
| author | Markus Uhlin <markus@nifty-networks.net> | 2023-12-23 00:59:38 +0100 |
|---|---|---|
| committer | Markus Uhlin <markus@nifty-networks.net> | 2023-12-23 00:59:38 +0100 |
| commit | 07bb6a9c63925a1585f846eee59e238fa4eb279a (patch) | |
| tree | bb14fb73044f870262f7de68cadab8530ff7dbbe | |
| parent | 3c6faa4e91ad3e31578a5e99d36daa7e13c01bcd (diff) | |
Deleted 'fics_autorun'
| -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 - |