[m-dev.] sleep

[Peter Ross]

On Mon, Mar 2, 2009 at 4:59 PM, Julien Fischer
<juliensf at csse.unimelb.edu.au> wrote:
>
> On Mon, 2 Mar 2009, Ben Mellor wrote:
>
>> Hi
>>
>> Do people think the following would be useful enough to put in the
>> standard
>> library?
>
> Not really.  The other problem with calling sleep() is that it is not
> available on all systems, e.g. on Windows you need to call Sleep.
>
And Sleep on windows takes millseconds rather than seconds as its argument.

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------