#!/bin/sh
# Author: Jeff Dalton
# Updated: Fri Aug  4 15:52:07 2006 by Jeff Dalton
# Copyright: (c) 2005, 2006, AIAI, University of Edinburgh

this_dir=`dirname "$0"`
export ix=$this_dir/..

# exec $ix/etc/http-java ix.iserve.IServe "$@"

cpath=$ix/ix.jar:$ix/imports

cpath=$cpath:$ix/../imports/red-piranha_v_0_3/lib

cpath=$cpath:$ix/../imports/jetty-5.1.11RC0/ext

java -jar $ix/ix.jar -jar-path=$cpath \
	ix.iserve.IServe \
	"$@"
