[Top] [All Lists]

Re: Poll: consensus to change the encoded-character extension

2007-04-10 12:41:54

On Tue, 2007-04-10 at 20:55 +0200, Michael Haardt wrote:
Btw: If you want to encode "${hex:00}" literally, you need to write
"${hex:24 7b 68 65 78 3a 30 30 7d}".

"${hex:24}{hex:00}" is shorter and IMHO clearer.

Hmm. 2.4.2 says further:

  NUL (US-ASCII 0) is not allowed in strings.

How about:

  An unencoded NUL (US-ASCII 0) is not allowed in strings, see section for encoded characters.

I think that clarification is useful.  "Literal NUL ..." works, too.
Kjetil T.

<Prev in Thread] Current Thread [Next in Thread>