Re: Can't Lua ever sleep?

["Pavel Drotar" <gmc1@...>]

--==============22859057680714503=MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable

install lua-socket than
..
local sleep=require('socket').sleep
sleep(10)


> ** Mon, 6 Mar 2017 07:35:49 +0200 - "Lua mailing list" <lua-l@lists.lua.org> **
>
> I've searched the manual for "sleep", "wait", "pause", "delay"
> and not found any except the pauses of the GC. Does it have
> a different name or must I load some module?
--==============22859057680714503=MIME-Version: 1.0
Content-Type: text/html; charset="utf-8"
Content-Transfer-Encoding: quoted-printable

<style type="text/css"></style>
                            <div id="part_5edc7b563923403daa4a04a35140c395"><div><div>install lua-socket than<br/>..<br/>local sleep=require('socket').sleep<br/>sleep(10)<br/><br/><br/><blockquote>** Mon, 6 Mar 2017 07:35:49 +0200 - "Lua mailing list" &lt;lua-l@lists.lua.org&gt; **<br/><br/>
<div><div><div>I've searched the manual for "sleep", "wait", "pause", "delay"<br/>and not found any except the pauses of the GC. Does it have<br/>a different name or must I load some module?</div></div></div></blockquote></div></div></div>
--==============22859057680714503==--