#! /bin/bash

if [ ! -f "envar.sh" ]; then
  echo "envar.sh file not found"
  echo "Create envar.sh and export PORTAL_HOME, CATALINA_HOME"
  echo "PORTAL_HOME points to the patch repository source location"
  echo "CATALINA_HOME points to the local tomcat location"
  exit
fi

. envar.sh env

# choose os-dependent terminal
case "`uname`" in
   CYGWIN*)
     terminal="mintty --window normal --size 200,60 --hold error --exec"
     ;;
   *)
     terminal="xterm -geometry 200x30 -e "
     ;;
esac