From 755b7d9a44901f3dc5f86f83c39c98c269a98c85 Mon Sep 17 00:00:00 2001 From: Alexander Kukushkin Date: Tue, 19 Dec 2023 13:21:43 +0100 Subject: [PATCH] Allow custom parameters with more than one dot in config files. To make it consistent with the rest of the code responsible for GUC handling. --- src/backend/utils/misc/guc-file.l | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/backend/utils/misc/guc-file.l b/src/backend/utils/misc/guc-file.l index 41d62a9f23..22250d12a1 100644 --- a/src/backend/utils/misc/guc-file.l +++ b/src/backend/utils/misc/guc-file.l @@ -82,7 +82,8 @@ LETTER [A-Za-z_\200-\377] LETTER_OR_DIGIT [A-Za-z_0-9\200-\377] ID {LETTER}{LETTER_OR_DIGIT}* -QUALIFIED_ID {ID}"."{ID} +SUB_ID "."{ID} +QUALIFIED_ID {ID}{SUB_ID}+ UNQUOTED_STRING {LETTER}({LETTER_OR_DIGIT}|[-._:/])* STRING \'([^'\\\n]|\\.|\'\')*\' -- 2.34.1