Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
executable file 15 lines (13 sloc) 312 Bytes
#!/bin/bash
MY_DIR=`dirname $0`
update=`git pull`
#check the git pull has pulled new files, if so compile a new AI version
if [ "$update" != "Already up-to-date." ];
then
echo "reloading site"
$MY_DIR/shutdown.sh
$MY_DIR/startup.sh
else
#Exit 1 now means that the update has no new files
exit 1
fi