Changes

Jump to navigation Jump to search
198 bytes removed ,  13:16, 25 August 2012
# Options for virtual machine
VM=-Xmx512m
 
general_args=( )
vm_args=( )
while (( $# )) ; do
if [[ $1 = "-X" ]] ; then
vm_args+=( "$2" )
shift 2
else
general_args+=( "$1" )
shift
fi
done
# Run code
java -cp "$CP" $VM "${vm_args[@]}" org.basex.BaseXHTTP "${general_args[@]}" </pre>
=Changelog=
Bureaucrats, editor, reviewer, Administrators
13,550

edits

Navigation menu