| #!/bin/bash | |
| # ----------------------------------------------------------------------------- | |
| # Remotely kills and stops the ONOS service on the specified node. | |
| # ----------------------------------------------------------------------------- | |
| [ ! -d "$ONOS_ROOT" ] && echo "ONOS_ROOT is not defined" >&2 && exit 1 | |
| . $ONOS_ROOT/tools/build/envDefaults | |
| onos-kill "${1:-$OCI}" && onos-service "${1:-$OCI}" stop |