Robert Haas wrote:
> Ooh, good point. I still don't like the 0x20 thing, but using uint32
> instead of int or long is the main point, unless we support any
> platforms where 0x20 != ' '.
>
>
>
All our server encodings are strictly ASCII supersets. So 0x20 is always
the space character.
cheers
andrew