#!/bin/ksh 

if [ -z "$EBMHOME" ]
then
  echo "Error: batch environment variables are not set. Source the batchenv file"
  exit 1
fi

JEDIT_HOME=$EBMHOME/jedit.dir; export JEDIT_HOME

if [ ! -d $JEDIT_HOME ]
then
  mkdir $JEDIT_HOME
  chmod 777 $JEDIT_HOME
fi

JARFILES=$EBMHOME/jarfiles; export JARFILES

if [ -z $JDKROOT ]
then
    echo "JDKROOT must be set to a java version 1.4 or greater home directory"
    exit 1
else
   JAVAVER=`$JDKROOT/bin/java -version 2>&1`
   JAVAVER=`echo $JAVAVER|sed 's/.*version "//'|sed 's/".*//'`
   JAVANUM=`echo $JAVAVER|sed 's/\.//g'`
   JAVANUM=`echo $JAVANUM| awk '{ print substr($1,0,3) }'`
   if [ "$JAVANUM" -lt "140" ]
   then
      echo "ERROR - Current java version: '$JAVAVER'  version 1.4.0 or above is required"
      exit 1
   fi
fi


cd $JEDIT_HOME

PATH=$JDKROOT/bin:$PATH ; export PATH

CLASSPATH=$JARFILES/JEdit.jar:$JARFILES/kxutil.jar ; export CLASSPATH

if [ -f "JEdit_Session.lck" ]
then
    JDPID=`cat JEdit_Session.lck`
    kill -0 $JDPID 
    if [ $? -ne 0 ]
    then
        rm JEdit_Session.lck
    fi
fi

$JDKROOT/bin/java com.sun.emp.mbm.jedit.pgm.JEdit $$
status=$?

if [ -f *.log ]
then
  chmod 666 *.log
fi
if [ -f *.ser ]
then
  chmod 666 *.ser
fi
exit $status

