| commit | 32ffb931e747f9d125748c03c96156c4f2c3cba6 | [log] [tgz] |
|---|---|---|
| author | Aaron Jacobs <aaronjjacobs@gmail.com> | Thu Aug 08 00:39:12 2013 +0000 |
| committer | Aaron Jacobs <aaronjjacobs@gmail.com> | Thu Aug 08 00:39:12 2013 +0000 |
| tree | 1872dc26ae77110d2fa2acfdaec4ca2b54d88365 | |
| parent | bb53cd08996cbf6701765f16110ba0dfa968ac2f [diff] |
Replaced the complex implementation of valueToString(double). The previous one was confusing and prone to buffer overflows, and didn't work correctly with 16-decimal-digit numbers. The new one simply uses snprintf with a standard format string. The major change is that we don't always print a decimal point now. Fortunately, JSON doesn't distinguish between integers and reals.