#! /bin/sh Jini=@tonicjini@ ServerPort=@tonic_server_port@ HeapSize=@tonic_java_heap_size@ if [ "$TONICRC" = "" ] ; then TONICRC=$HOME/.tonicrc fi if [ -f $TONICRC ] ; then . $TONICRC fi java @tonic_native_threads_switch@ \ $HeapSize \ -jar $Jini/lib/tools.jar \ -dir @prefix@/tonic/lib \ -port $ServerPort & echo $!