onos-die
297 Bytes
#!/bin/bash
# -----------------------------------------------------------------------------
# Remotely kills and stops the ONOS service on the specified node.
# -----------------------------------------------------------------------------
onos-kill "${1:-$OCI}" && onos-service "${1:-$OCI}" stop