onos-die 406 Bytes
#!/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