#! /bin/csh -f

cd /home/b30118/web100-tools

set cnt = `ps auxw | grep web100srv | grep -v grep | wc -l`
if ($cnt == 0) then
	./web100srv -a >& /dev/null &
endif

set cnt = `ps auxw | grep fakewww | grep -v grep | wc -l`
if ($cnt == 0) then
	./fakewww >& /dev/null &
endif