Time.sleep(0.0125) not available within Linux

[Steven D'Aprano]

On Fri, 26 Sep 2008 19:46:10 +1200, Lawrence D'Oliveiro wrote:

> 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?

Are you asking me or telling me?


I've tried on five different Linux machines I have access to, and there 
is no such /proc/config.gz on any of them:

two different versions of Centos
two versions of Fedora
one version of Ubuntu

So let me rephrase my question... what *specific* OS are you using?



-- 
Steven