#!/bin/bash

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
echo Starting all Jedi servers...
/opt/prominic/jdk/1.3/bin/java -classpath $CLASSPATH com.Prominic.jdi.client.JediTextClient 0 1910 admin pass startall
echo All Jedi servers started!
