#!/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 domino server $1...
/opt/prominic/jdk/1.3/bin/java -classpath $CLASSPATH com.Prominic.jdi.client.JediTextClient localhost 1910 admin pass start $1
echo Domino server started!
