doc: Format example JSON data better

This commit is contained in:
Peter Eisentraut 2019-09-26 21:27:34 +02:00
parent baca53d3dc
commit 79504cfe1b

View File

@ -12822,17 +12822,20 @@ table2-mapping
For example, suppose you have some JSON data from a GPS tracker that you For example, suppose you have some JSON data from a GPS tracker that you
would like to parse, such as: would like to parse, such as:
<programlisting> <programlisting>
{ "track" : {
{ "track": {
"segments" : [ "segments": [
{ "location": [ 47.763, 13.4034 ], {
"location": [ 47.763, 13.4034 ],
"start time": "2018-10-14 10:05:14", "start time": "2018-10-14 10:05:14",
"HR": 73 "HR": 73
}, },
{ "location": [ 47.706, 13.2635 ], {
"location": [ 47.706, 13.2635 ],
"start time": "2018-10-14 10:39:21", "start time": "2018-10-14 10:39:21",
"HR": 135 "HR": 135
} ] }
]
} }
} }
</programlisting> </programlisting>