[issue12725] Docs: Odd phrase "floating seconds" in socket.html

2011-09-03 Thread Roundup Robot
Roundup Robot added the comment: New changeset 8730fdc9349f by Ezio Melotti in branch '3.2': #12725: fix working. Patch by Ben Hayden. http://hg.python.org/cpython/rev/8730fdc9349f -- ___ Python tracker __

[issue12725] Docs: Odd phrase "floating seconds" in socket.html

2011-08-13 Thread Ezio Melotti
Ezio Melotti added the comment: Fixed, thanks for the report and the patch! -- nosy: +ezio.melotti resolution: -> fixed stage: needs patch -> committed/rejected status: open -> closed ___ Python tracker _

[issue12725] Docs: Odd phrase "floating seconds" in socket.html

2011-08-13 Thread Roundup Robot
Roundup Robot added the comment: New changeset dfe6f0a603d2 by Ezio Melotti in branch '2.7': #12725: fix working. Patch by Ben Hayden. http://hg.python.org/cpython/rev/dfe6f0a603d2 New changeset ab3432a81c26 by Ezio Melotti in branch '3.2': #12725: fix working. Patch by Ben Hayden. http://hg.py

[issue12725] Docs: Odd phrase "floating seconds" in socket.html

2011-08-13 Thread Ben Hayden
Ben Hayden added the comment: I made the suggested second change - both in the docs & the socketmodule.c file. If there's a different way to patch documentation, someone let me know. :D -- keywords: +patch nosy: +beardedp Added file: http://bugs.python.org/file22896/issue12725.patch _

[issue12725] Docs: Odd phrase "floating seconds" in socket.html

2011-08-12 Thread Terry J. Reedy
Terry J. Reedy added the comment: I agree 'floating seconds' is bad. I think I prefer your second alternative, but settimeout() and setdefaulttimeout should be consistent. -- nosy: +terry.reedy ___ Python tracker

[issue12725] Docs: Odd phrase "floating seconds" in socket.html

2011-08-12 Thread Éric Araujo
Changes by Éric Araujo : -- keywords: +easy nosy: +eric.araujo stage: -> needs patch versions: +Python 3.3 -Python 2.6 ___ Python tracker ___ ___

[issue12725] Docs: Odd phrase "floating seconds" in socket.html

2011-08-10 Thread Cris Simpson
New submission from Cris Simpson : In http://docs.python.org/library/socket.html, the description for socket.setdefaulttimeout(timeout) reads: Set the default timeout in *floating seconds* for new socket objects. [occurs two other times on that page] "floating seconds" is a confusing cons