#!/bin/bash
# Run the Joseki RDF server 
# $Id: rdfserver,v 1.1 2003-01-20 17:25:13 andy_seaborne Exp $

[ "$JOSEKI_HOME" = "" ] && { echo "JOSEKI_HOME unset" 1>&2 ; exit 1 ; }
CP="$($JOSEKI_HOME/bin/joseki_path)"

exec java -cp "$CP" joseki.rdfserver "$@"