update uses of "when" in base scripts to include captures

This commit is contained in:
Vern Paxson 2022-01-07 14:53:33 -08:00
parent f895008c34
commit 98cd3f2213
15 changed files with 21 additions and 21 deletions

View file

@ -225,7 +225,7 @@ function log_record(info: Info)
}
else
{
when ( |info$delay_tokens| == 0 )
when [info] ( |info$delay_tokens| == 0 )
{
log_record(info);
}