Commit 6c3ef748 authored by Peter Eisentraut's avatar Peter Eisentraut

doc: Format example JSON data better

parent a4a5c0cf
...@@ -12916,17 +12916,20 @@ table2-mapping ...@@ -12916,17 +12916,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>
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment