Improving push through proxy tool

Change-Id: I27e4fca905bf2f7f732a05941e9082ae713f6529
diff --git a/tools/test/bin/onos-push-bits-through-proxy b/tools/test/bin/onos-push-bits-through-proxy
index fd31de1..1ec7107 100755
--- a/tools/test/bin/onos-push-bits-through-proxy
+++ b/tools/test/bin/onos-push-bits-through-proxy
@@ -6,6 +6,7 @@
 [ ! -d "$ONOS_ROOT" ] && echo "ONOS_ROOT is not defined" >&2 && exit 1
 . $ONOS_ROOT/tools/build/envDefaults
 
+OCT=${OCT:-$OCI}
 node=${1:-$OCT}
 remote=$ONOS_USER@$node
 shift
@@ -13,7 +14,7 @@
 echo "Pushing to proxy $node..."
 onos-push-bits $node
 
-others=$(env | sort | egrep "OC[0-9]+" | cut -d= -f2)
+others=$(env | sort | egrep "OC[0-9]+" | cut -d= -f2 | grep -v $OCT)
 
 for other in $others; do
     echo "Pushing to $other..."