webmcp
diff framework/env/ui/container.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 | a29c8ffb3f82 |
| children | a2ff42a66212 |
line diff