#23 `DateTime.getCurrentTime()` not working on 3DS

[Reylak]

This function only gives the time on the startup of MicroLua.

The workaround in the current 'libs.lua' updates "manually" the time.

The idea would be to get Lua's os.time() working (and so on) so eventually DateTime could be deprecated.

[Reylak]

As said in [#6] and commit [0e7851], DateTime has been removed while updating to Lua 5.2.2. We need to know how the functions from Lua os.time() and os.date() behave now.

If they don't work properly (i.e. time is not updated) we should incorporate the previous workaround that was in 'libs.lua' into these two functions.

[Reylak]

This bug is actually directly related to devkitPro and MicroLua has no means of fixing it other than making a workaround with timers.
See this ticket from devkitPro. This bug has been known for a year now...

EDIT: we have this thread too.

[Reylak]

This bug being unrelated to MicroLua itself, we will officially include the workaround of 4.6.1_a.

[Reylak]

As of [375841], the workaround is added to MicroLua.
Read the commit log and [3DSTimeWorkaround] for full detail.

Although it is untested on 3DS, there is a true effect on NDSLite where the time seems to go twice as fast.