홍길동 / onos

Go to a project
Toggle navigation Toggle navigation pinning
Pavlin Radoslavov
af21ba6f 1 parent 41effbe4

Added missing inclusion of $ONOS_ROOT/tools/build/envDefaults 

for consistency with the rest of the scripts.

Change-Id: Ib48c28323e769d3540c21f188fad4c80661d3434
Inline Side-by-side
Showing 1 changed file with 3 additions and 0 deletions
...@@ -3,4 +3,7 @@ ...@@ -3,4 +3,7 @@
3 # Remotely kills and stops the ONOS service on the specified node. 3 # Remotely kills and stops the ONOS service on the specified node.
4 # ----------------------------------------------------------------------------- 4 # -----------------------------------------------------------------------------
5 5
6 +[ ! -d "$ONOS_ROOT" ] && echo "ONOS_ROOT is not defined" >&2 && exit 1
7 +. $ONOS_ROOT/tools/build/envDefaults
8 +
6 onos-kill "${1:-$OCI}" && onos-service "${1:-$OCI}" stop 9 onos-kill "${1:-$OCI}" && onos-service "${1:-$OCI}" stop
......