mirror of
https://github.com/dimitri/pgloader.git
synced 2026-05-05 02:46:10 +02:00
Avoid parser look-ahead when not necessary.
Fixes #1082 where letters from the URI are doubled because of the look-ahead in the previous parser's implementation. Thanks @svantevonerichsen6906 for the fix!
This commit is contained in:
parent
3b5c29b030
commit
df94340396
@ -89,9 +89,8 @@
|
||||
|
||||
(defrule network-label-with-hyphen
|
||||
(and network-label-letters-digit
|
||||
(+ (or (and #\- (& network-label-letters-digit))
|
||||
network-label-letters-digit))
|
||||
(! #\-))
|
||||
(+ (or (and #\- network-label-letters-digit)
|
||||
network-label-letters-digit)))
|
||||
(:text t))
|
||||
|
||||
(defrule network-label-no-hyphen (+ network-label-letters-digit)
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user