webmcp
annotate framework/env/charset/get_data.lua @ 427:f0303fca9218
Decode some JSON numbers (those without decimal point or exponential notation) as Lua integers
| author | jbe |
|---|---|
| date | Thu Jan 14 17:13:48 2016 +0100 (2016-01-14) |
| parents | 9fdfb27f8e67 |
| children |
| rev | line source |
|---|---|
| jbe/bsw@0 | 1 --[[-- |
| jbe/bsw@0 | 2 charset_data = -- table containing information about the current charset |
| jbe/bsw@0 | 3 charset.get_data() |
| jbe/bsw@0 | 4 |
| jbe/bsw@0 | 5 Returns a table with information about the currently selected charset. See framework/env/charset/data/ for more information. |
| jbe/bsw@0 | 6 |
| jbe/bsw@0 | 7 --]]-- |
| jbe/bsw@0 | 8 |
| jbe/bsw@0 | 9 function charset.get_data() |
| jbe/bsw@0 | 10 return charset.data[ |
| jbe/bsw@0 | 11 string.gsub(string.lower(charset._current), "%-", "_") |
| jbe/bsw@0 | 12 ] |
| jbe/bsw@0 | 13 end |