mirror of
https://github.com/dimitri/pgloader.git
synced 2026-05-05 02:46:10 +02:00
Allow more punctuation signs in the parsers: dollar and percent.
For some reasons some people might use those in their connection strings, as part of a username or such. Fixes #809.
This commit is contained in:
parent
7220fc2038
commit
8c2cda75e5
@ -30,7 +30,7 @@
|
||||
(defrule ignore-whitespace (* whitespace)
|
||||
(:constant nil))
|
||||
|
||||
(defrule punct (or #\, #\- #\_)
|
||||
(defrule punct (or #\, #\- #\_ #\$ #\%)
|
||||
(:text t))
|
||||
|
||||
(defrule namestring (and (or #\_ (alpha-char-p character))
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user