W3C home > Mailing lists > Public > ietf-http-wg@w3.org > October to December 2008

Re: Leading zeroes in 1*DIGIT productions

From: Julian Reschke <julian.reschke@gmx.de>
Date: Thu, 18 Dec 2008 23:21:50 +0100
Message-ID: <494ACCFE.3060007@gmx.de>
To: Jeff Walden <jwalden@MIT.EDU>
CC: ietf-http-wg@w3.org

Jeff Walden wrote:
> 
> On 18.12.08 11:49, Julian Reschke wrote:
>>> Alternately, making it clear that leading zeroes are allowed but
>>> (perhaps) MUST NOT be sent would be acceptable.
>>
>> How would that help? As far as I can tell, leading zeros are totally
>> harmless. Do you have evidence of problems caused by them?
> 
> No; it's merely that they're only implicitly allowed by the production, 
> not explicitly noted in the accompanying prose.  A note like "leading 
> zeroes are ignored" would be fine (and note that I did say "perhaps"); I 
> just don't see evidence that this oddity was intentional, and if it 
> can't be removed I'd rather it be explicitly allowed.

Ahem, it *is* explicitly allowed by the grammar.

And code that properly processes the value will need no special 
treatment of leading zeros, it just follows from the way decimal numbers 
work.

BR, Julian
Received on Thursday, 18 December 2008 22:22:37 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 27 April 2012 06:50:58 GMT