File

plugins/mod_unknown.lua @ 6540:31a8b3bfb31d

net.server_select: In add_task timer callback, use passed in time rather than re-fetching
author daurnimator <quae@daurnimator.com>
date Thu, 15 Jan 2015 09:05:08 -0500
parent 6003:28a90f5fea46
line wrap: on
line source

-- Unknown platform stub
module:set_global();

-- TODO Do things that make sense if we don't know about the platform