[et-mgmt-tools] [PATCH] Ignore failures to kill the child console process

[Cole Robinson]

John Levon wrote:
> # HG changeset patch
> # User John Levon <john.levon at sun.com>
> # Date 1237257954 25200
> # Node ID 0eeb1929a03b7667bffe55fed53f9546f81c736e
> # Parent  7e7e8034601323d1b4f21314e0ccf520e25d51b6
> Ignore failures to kill the child console process
> 
> For example, it may have quit already.
> 
> Signed-off-by: John Levon <john.levon at sun.com>
> 

Thanks, applied.

- Cole