#!/bin/bash

# Simple RMI server. Used in conjunction with rmiclient script.

if [ ! -n "$1" ]
then
  echo "usage: `basename $0` thisHostName"
  exit 1
fi

$JAVA $JAVA_OPTIONS -cp $SIAM_CLASSPATH \
-Djava.security.policy=$SIAM_HOME/properties/policy \
-Dsiam_home=$SIAM_HOME -Dlog4j.threshold=$LOG4J_THRESHOLD \
tests.linkBenchmarks.server.Benchmark1Impl $1

