tree 21c44d82206f89355d925dfd498109e2926292e4
parent 1e37d561efc11611a3de3edef2b28e2f59df0c86
author Thomas Vachuska <tom@onlab.us> 1417662211 -0800
committer Gerrit Code Review <gerrit@onlab.us> 1417668717 +0000

Added onos-die command and added some info output to onos-kill command.

Change-Id: I32968907b5f69a334d82048658210e08b109ba23