#!/bin/bash
cd /opt/prominic/jedi/bin
if [ "$JDI_HOME" =  "" ] ; then
  WD=`pwd`
  cd ../ 
  export JDI_HOME=`pwd`
  echo Guessed home directory: $JDI_HOME
  cd $WD
  echo JDI_HOME environment variable NOT defined. Using default value.
fi

CLASSPATH=$CLASSPATH:$JDI_HOME/lib/jedi.jar:$JDI_HOME/lib/tools.jar:$JDI_HOME/lib/jsse.jar:$JDI_HOME/lib/joes20.jar:$JDI_HOME/lib/jcert.jar:$JDI_HOME/lib/jnet.jar:

/opt/prominic/jdk/1.3/bin/java -classpath $CLASSPATH com.Prominic.jedi.gui.JediGUIClient -c $JDI_HOME/etc/gui.cfg
echo

