From 9ef4f9e6fe0c766395d00701131289bc2007c23c Mon Sep 17 00:00:00 2001 From: Florian Westphal Date: Wed, 9 May 2018 00:52:30 +0200 Subject: src: support timeouts in milliseconds currently the frontend uses seconds everywhere and multiplies/divides by 1000. Pass milliseconds around instead and extend the scanner to accept 'ms' in timestrings. Signed-off-by: Florian Westphal --- src/scanner.l | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/scanner.l') diff --git a/src/scanner.l b/src/scanner.l index 70366d19..bd641345 100644 --- a/src/scanner.l +++ b/src/scanner.l @@ -118,7 +118,7 @@ asteriskstring ({string}\*|{string}\\\*) comment #.*$ slash \/ -timestring ([0-9]+d)?([0-9]+h)?([0-9]+m)?([0-9]+s)? +timestring ([0-9]+d)?([0-9]+h)?([0-9]+m)?([0-9]+s)?([0-9]+ms)? hex4 ([[:xdigit:]]{1,4}) v680 (({hex4}:){7}{hex4}) -- cgit v1.2.3