#!/bin/sh
# Author: Jeff Dalton
# Updated: Wed Jul 26 15:44:44 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/test-policy \
	ix.ip2.Ip2 "$@"
