equal
deleted
inserted
replaced
41 if [ "$1" == "-help" ]; then |
41 if [ "$1" == "-help" ]; then |
42 usage |
42 usage |
43 fi |
43 fi |
44 |
44 |
45 jdk=$1 |
45 jdk=$1 |
|
46 shift |
46 OS=`uname` |
47 OS=`uname` |
47 |
48 |
48 if [ "$OS" != "Linux" ]; then |
49 if [ "$OS" != "Linux" ]; then |
49 OPTIONS="-Dsun.jvm.hotspot.debugger.useProcDebugger" |
50 OPTIONS="-Dsun.jvm.hotspot.debugger.useProcDebugger" |
50 fi |
51 fi |
66 fi |
67 fi |
67 fi |
68 fi |
68 |
69 |
69 tmp=/tmp/sagsetup |
70 tmp=/tmp/sagsetup |
70 rm -f $tmp |
71 rm -f $tmp |
71 $jdk/bin/java sagtarg > $tmp & |
72 $jdk/bin/java $* sagtarg > $tmp & |
72 pid=$! |
73 pid=$! |
73 while [ ! -s $tmp ] ; do |
74 while [ ! -s $tmp ] ; do |
74 # Kludge alert! |
75 # Kludge alert! |
75 sleep 2 |
76 sleep 2 |
76 done |
77 done |