diff options
Diffstat (limited to 'scripts/timers.sh')
| -rw-r--r-- | scripts/timers.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/timers.sh b/scripts/timers.sh index 00ac90dc..c880a029 100644 --- a/scripts/timers.sh +++ b/scripts/timers.sh @@ -30,7 +30,7 @@ sed ' /testbed\[/d; s= datetime([0-9, ]*)==; s=<bound method.*>>==; - s=/u/sra/rpki/subvert-rpki.hactrn.net/rpkid/rpki/==; + s=/u/sra/rpki/subvert-rpki.hactrn.net/[a-z]*/rpki/==; s= timedelta([0-9, ]*)==; s= None = =; s= at = =; |