webmcp

diff framework/env/ui/script.lua @ 428:52ebde158c92

Fixed minor glitch regarding floating point numbers (e.g. 0.009) in JSON encoder; Distinguish between integers and floats in JSON encoder if Lua version >= 5.3
author jbe
date Thu Jan 14 17:40:49 2016 +0100 (2016-01-14)
parents d76a8857ba62
children
line diff

Impressum / About Us