mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-10 19:31:48 +00:00
parent
e2d1888f52
commit
66160e6bd3
@ -315,15 +315,9 @@ proc query_failure_timeout { } {
|
|||||||
|
|
||||||
global runtime_file
|
global runtime_file
|
||||||
|
|
||||||
set meaning ""
|
set sec 0
|
||||||
catch {
|
catch { set sec [query_attr /runtime/fail after_seconds $runtime_file] }
|
||||||
set meaning [query_attr /runtime/events/timeout meaning $runtime_file]
|
return $sec
|
||||||
set sec [query_attr /runtime/events/timeout sec $runtime_file]
|
|
||||||
}
|
|
||||||
if {$meaning == "failed"} {
|
|
||||||
return $sec }
|
|
||||||
|
|
||||||
return 0
|
|
||||||
}
|
}
|
||||||
|
|
||||||
set failure_timeout [expr [query_failure_timeout] + 10]
|
set failure_timeout [expr [query_failure_timeout] + 10]
|
||||||
@ -338,7 +332,7 @@ proc query_expected_log_pattern { } {
|
|||||||
|
|
||||||
set log ""
|
set log ""
|
||||||
catch {
|
catch {
|
||||||
set log [query_node "/runtime/events/log\[@meaning='succeeded'\]/child::text()" $runtime_file]
|
set log [query_node "/runtime/succeed/child::text()" $runtime_file]
|
||||||
} { return "" }
|
} { return "" }
|
||||||
|
|
||||||
# strip leading and trailing whitespace
|
# strip leading and trailing whitespace
|
||||||
|
Loading…
x
Reference in New Issue
Block a user