diff options
author | Florian Westphal <fw@strlen.de> | 2018-05-09 00:52:30 +0200 |
---|---|---|
committer | Florian Westphal <fw@strlen.de> | 2018-05-09 09:21:07 +0200 |
commit | 9ef4f9e6fe0c766395d00701131289bc2007c23c (patch) | |
tree | b31dd884a3bc14cb32112ee4b7e3873cbe9c9e42 /src/scanner.l | |
parent | 1eadd73e30deab778ddfc26e9222a4d23bedb140 (diff) |
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 <fw@strlen.de>
Diffstat (limited to 'src/scanner.l')
-rw-r--r-- | src/scanner.l | 2 |
1 files changed, 1 insertions, 1 deletions
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}) |