run_msql.sh

pref="${1}"
inf=$(cat ${pref}sqlinf | sed "s/^--.*$/USE db;/" | mysql -h 127.0.0.1 -P 3306 -u rcsql 2> /dev/null | tail -n 1)
if [ "$?" -ne 0 ]
then
  exit 1
fi
if [ "$(echo "${inf}" | grep -o '1')" != "" ]
then
  echo "Infinite"
else
  fin=$(cat ${pref}sqlfin | sed "s/^--.*$/USE db;/" | mysql -h 127.0.0.1 -P 3306 -u rcsql 2> /dev/null)
  if [[ "$?" -ne 0 ]]
  then
    exit 1
  fi
  echo "Finite"
  fv=$(cat ${pref}sqlfin | head -n 1 | sed "s/--//")
  if [ "${fv}" == "(t)" ]
  then
    echo "()"
    if [ "$(echo "${fin}" | grep -o '1')" != "" ]
    then
      echo "()"
    fi
  else
    echo "${fv}"
    echo "${fin}" | tail -n +2 | sed "s/\t/,/g" | sed -e "s/^/(/" | sed "s/$/)/"
  fi
fi