#!/bin/sh
# Author: Jeff Dalton
# Updated: Mon Dec  3 16:50:41 2007 by Jeff Dalton
# Copyright: (c) 2005, 2006, AIAI, University of Edinburgh

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

exec $ix/etc/http-java\
	-Djava.security.manager \
	-Djava.security.policy=$ix/tmp/iserve-policy \
	ix.iserve.IServe "$@"

#	-Djava.security.debug=access.failure \
