#!/bin/sh
# Author: Jeff Dalton
# Updated: Tue Aug  1 18:04:56 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\
	-Djava.security.manager \
	-Djava.security.policy=$ix/tmp/all-permission-policy \
	ix.iserve.IServe "$@"
