| commit | 6bda0934ad97a48236c0d9545b4d17f5a2571547 | [log] [tgz] |
|---|---|---|
| author | Valentin Schneider <valentin.schneider@arm.com> | Tue Sep 12 15:44:25 2017 +0100 |
| committer | Valentin Schneider <valentin.schneider@arm.com> | Tue Sep 12 17:21:31 2017 +0100 |
| tree | 79d92dc110fd601b3c091e977cf40c885cecef9b | |
| parent | a46f1038f8e6f0b4c7974a01dbb4757253a768fd [diff] |
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().