Jonathan Hart

Bump default version of jprofiler to 9

Change-Id: Ifeeb80aee4e97c336df7c72d3e4dd438018986d9
...@@ -5,7 +5,7 @@ ...@@ -5,7 +5,7 @@
5 5
6 [ ! -d "$ONOS_ROOT" ] && echo "ONOS_ROOT is not defined" >&2 && exit 1 6 [ ! -d "$ONOS_ROOT" ] && echo "ONOS_ROOT is not defined" >&2 && exit 1
7 . $ONOS_ROOT/tools/build/envDefaults 7 . $ONOS_ROOT/tools/build/envDefaults
8 -export JPROFILER_ROOT=${JPROFILER_ROOT:-/opt/jprofiler8} 8 +export JPROFILER_ROOT=${JPROFILER_ROOT:-/opt/jprofiler9}
9 9
10 ssh $ONOS_USER@${1:-$OCI} " 10 ssh $ONOS_USER@${1:-$OCI} "
11 pid=\$(ps -ef | grep karaf.jar | grep -v grep | cut -c10-15 | tr -d ' ') 11 pid=\$(ps -ef | grep karaf.jar | grep -v grep | cut -c10-15 | tr -d ' ')
......