Time.sleep(0.0125) not available within Linux

[jkn]

On Sep 26, 9:26 am, Steven D'Aprano
<ste... at REMOVE.THIS.cybersource.com.au> wrote:
> On Fri, 26 Sep 2008 19:46:10 +1200, Lawrence D'Oliveiro wrote:
> > In message <00eb2560$0$20666$c3e8... 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:
>

/proc/config.gz is not directly connected with a specific linux
distribution; it's a function of the kernel build configuration. If
the appropriate setting is enabled, then /proc/config.gz will show
(via eg. zcat) the equivalent of the .config file used to build the
kernel you are actually running. It's a useful feature in all linuces,
going back quite a way IIRC.

    J^n