たまにFreenetが落ちていることがあるので、Freenetが落ちたら勝手に再起動
するスクリプトを書いてみた。シェルスクリプトなのでWindowsユーザーに
とってはあまり役に立たないかもしれないけど。

起動すると10秒おきにFreenetのpidが生きているかをチェックする。
終了はC-cで。

#!/bin/sh

FREENETDIR="$HOME/local/Freenet"
PIDFILE="$FREENETDIR/Freenet.pid"

ifpid() {
if [ -f "$PIDFILE" ]; then
if [ -r "$PIDFILE" ]; then
pid="`cat \"$PIDFILE\"`"
if [ "X$pid" != "X" ]; then
if kill -0 $pid 2>/dev/null; then
ret=true
return 0
fi
fi
fi
fi
ret=false
return 0
}