diff options
| author | Peter Ljunglöf <peter.ljunglof@heatherleaf.se> | 2019-03-08 17:35:01 +0100 |
|---|---|---|
| committer | Peter Ljunglöf <peter.ljunglof@heatherleaf.se> | 2019-03-08 17:35:35 +0100 |
| commit | 3328279120ce771c676b30689283cd7f2493c0f6 (patch) | |
| tree | 69fa410de379e5f3b0be746b2a466a9a0288f0b1 /src/runtime/java/jni_utils.c | |
| parent | 8cf4446e8cf2cf65aa308c2d69c59a3368194bf5 (diff) | |
corrected json printing
some object labels must be preceded by ".", to not be in conflict with GF records (which are stored as json objects)
plus some minor bugfixes and cleaning
Diffstat (limited to 'src/runtime/java/jni_utils.c')
0 files changed, 0 insertions, 0 deletions