#!/bin/bash

JINI_SDK=/home/tom/projects/jini/sdk/

# need a webserver, too
echo "Starting HTTP server on port 8081"
java -jar ${JINI_SDK}lib/tools.jar -dir ${JINI_SDK}lib -port 8081