server/launch.sh

39 lines
535 B
Bash
Raw Normal View History

2013-12-14 05:11:14 +00:00
#!/bin/sh
2014-01-19 16:49:07 +00:00
rm -f /tmp/stop
2013-12-14 05:11:14 +00:00
cd `dirname "$0"`
if [ "$UID" = "0" ]
then
SCRIPT=`pwd`/`basename "$0"`
su -c "sh $SCRIPT" synchro
exit $?
fi
touch ./logs/checks.log
tail -f ./logs/checks.log &
2014-01-21 02:08:08 +00:00
KP1=$!
2013-12-14 05:11:14 +00:00
2014-01-19 16:49:07 +00:00
TMPF=`mktemp`
2014-01-20 04:53:31 +00:00
tail -f "$TMPF" | ./gen_site.pl -d -s /tmp/test.sock -o ./out &
2014-01-21 02:08:08 +00:00
KP2=$!
2013-12-14 05:11:14 +00:00
2014-01-14 15:14:31 +00:00
while ! [ -f /tmp/stop ];
2013-12-14 05:11:14 +00:00
do
2014-01-20 04:53:31 +00:00
./synchro.sh delete
2013-12-14 05:11:14 +00:00
if [ `ls submission | wc -l` -gt 1 ]
then
2014-01-21 02:08:08 +00:00
./clear_cache.sh top
2014-01-19 16:49:07 +00:00
./check.pl 2>> ./logs/checks.log >> "$TMPF"
2013-12-14 05:11:14 +00:00
else
sleep 1
fi
done
2014-01-19 16:49:07 +00:00
2014-01-21 02:08:08 +00:00
kill -9 $KP1 $KP2
2014-01-19 16:49:07 +00:00
rm -rf "$TMPF"