[docs] Omission in the documentation of uuid.uuid1()

[Gene Saunders]

I found an omission in the uuid documentation: 
http://docs.python.org/library/uuid.htm

The description of uuid.uuid1() does not describe the conditions under which 
the linux uuid functions will be used. The description should have an 
additional section something like the following:


uuid.uuid1([node[, clock_seq]])
Generate a UUID from a host ID, sequence number, and the current time. 

NEW
If both node and clock_seq are not given, and the system call 
"uuid_generate_time" is available, then the UUID is generated using this 
system call. In this case the resulting clock_seq field will the stable system 
wide value as described in RFC 4122. Otherwise 

if node is not given, getnode() is used to obtain the hardware address. If 
clock_seq is given, it is used as the sequence number; otherwise a random 14-
bit sequence number is chosen.


Thank you for your attention.

Gene Saunders
System designer, Idilia Inc.