[Webkit-unassigned] [Bug 27254] Geolocation PositionOptions does not use correct default values

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=27254





--- Comment #3 from Andrei Popescu <andreip at google.com>  2009-08-03 10:58:24 PDT ---
(In reply to comment #2)
> > I do not see those specific values for defaults listed,
> It's true that the spec is worded such that the default values aren't made too
> explicit. Perhaps the spec should be updated to make this more clear?
> 
> Andrei, can you confirm that I've interpreted the spec correctly?

You are both right:

- the spec has a bug whereby the default values are not explicitly mentioned. I
will fix this asap.
- the default values should indeed be:

- enableHighAccuracy = false
- timeout = +Inf
- maximumAge = 0

So it looks like 'timeout' defaults to 0 in WebKit, which should be fixed. I'll
also have to check if WebIDL supports +Inf and what to do if it doesn't.

Andrei

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.