run.sh

#!/bin/bash

ask_restart()
{
  echo -n "metBot has stopped. Retry? (y/n): "
  read REPLY || exit
  while [[ $REPLY != "y" && $REPLY != "n" ]]
  do
    echo -n "Unknown option \"$REPLY\". Retry? (y/n): "
    read REPLY
  done
  if [ $REPLY == "y" ]
  then
    if [ -n "$NEWARGS" ]
    then
      php run.php "${NEWARGS[@]}"
    else
      php run.php "${@:1}"
    fi
  else
    echo "Bye!"
    exit
  fi
}

echo "metBot Beta 7"
# PHP for Windows Mingw users
if [ -z "$(which php)" -a -f "/c/php/php" ]
then
  PATH=$PATH:/c/php
fi

php run.php "${@:1}"
while :
do
  if [ -f ./core/status/restart.bot ]
  then
    # see if there are new args in the restart
    if [ -s ./core/status/restart.bot ]
    then
      RESTART=`cat ./core/status/restart.bot`
      echo Using new arguments \`$RESTART\`
      eval "NEWARGS=($RESTART)"
      php run.php "${NEWARGS[@]}"
    else
      echo Restart file empty, using old arguments...
      if [ -n "$NEWARGS" ]
      then
        php run.php "${NEWARGS[@]}"
      else
        php run.php "${@:1}"
      fi
    fi
  else
    if [ -f ./core/status/close.bot ]
    then
      echo "Bye!"
      exit
    else # in case PHP crashes, we need to fix the STDIN handle
      php -r 'stream_set_blocking(STDIN, true);'
      ask_restart
    fi
  fi
done