[m-dev.] sleep

Peter Ross pdross at gmail.com
Mon Mar 2 17:01:51 AEDT 2009


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



More information about the developers mailing list