tree 79d92dc110fd601b3c091e977cf40c885cecef9b
parent a46f1038f8e6f0b4c7974a01dbb4757253a768fd
author Valentin Schneider <valentin.schneider@arm.com> 1505227465 +0100
committer Valentin Schneider <valentin.schneider@arm.com> 1505233291 +0100

utils/android: LogcatMonitor fixes

host.kill_children() is used to properly kill the logcat process
when it is IO blocked.

The logcat regexp argument is now within double quotes, as having
parenthesis within the regexp could break the command.

LogcatMonitor.search() has been renamed to wait_for() to make the
behaviour of the method more explicit. A non-blocking version of
this method has been added and is named search().