Closed bernardnormier closed 5 days ago
Actually, if we want to escape the dot, shouldn't it be `\\.`, otherwise `\.` is just `.`
I guess the best is to create a separate issue, it seems unrelated to the PR.
_Originally posted by @pepone in https://github.com/zeroc-ice/ice/pull/2318#discussion_r1646443754_
for reference:
Welcome to Node.js v22.2.0. Type ".help" for more information. > "." == "\." true > "." == "\\." false > "\." '.'
I guess the best is to create a separate issue, it seems unrelated to the PR.
_Originally posted by @pepone in https://github.com/zeroc-ice/ice/pull/2318#discussion_r1646443754_