Time.sleep(0.0125) not available within Linux

[Lawrence D'Oliveiro]

In message <00eb2560$0$20666$c3e8da3 at news.astraweb.com>, Steven D'Aprano
wrote:

> On Wed, 24 Sep 2008 22:18:05 +1200, Lawrence D'Oliveiro wrote:
> 
>> Just a thought, your minimum sleep time is probably limited by the
>> resolution of the system "HZ" clock. Type
>> 
>>     less /proc/config.gz
> 
> $ less /proc/config.gz
> /proc/config.gz: No such file or directory
> 
> 
> What OS are you using?

The one named in the subject line?