Survex JSON export Format

[Pawczak]

Hey!

I'm use a lot of Export function to get cave surveys positions and found out that JSON format exported by Survex isn't correct.

This is file exported as JSON from Survex:

var p = [0.00,0.00,0.00,10.00,10.00,10.00]
var groups = [
[[0.00,0.00,0.00],[0.00,0.00,10.00]],
[[0.00,0.00,0.00],[0.00,10.00,0.00]],
[[0.00,0.00,10.00],[10.00,0.00,10.00]],
[[10.00,0.00,10.00],[10.00,0.00,0.00]],
[[10.00,0.00,0.00],[0.00,0.00,0.00]],
[[10.00,10.00,0.00],[0.00,10.00,0.00]],
[[10.00,10.00,0.00],[10.00,0.00,0.00]],
[[10.00,10.00,10.00],[10.00,10.00,0.00]],
[[10.00,10.00,10.00],[10.00,0.00,10.00]],
[[0.00,10.00,10.00],[10.00,10.00,10.00]],
[[0.00,10.00,10.00],[0.00,0.00,10.00]],
[[0.00,10.00,0.00],[0.00,10.00,10.00]]
]}

You can use simple site checking format validation: ​https://jsonformatter.curiousconcept.com/#

Trying to parse that file as JSON without additional pre-processing will always fail.

[Olly Betts]

Thanks, I've fixed the output to be valid JSON in 4fcdd51a6cc954d3ad2e3bd3044c91580d312df0.

I think the history of this is that it was from a quick hack where I wanted survey data for use in Javascript and the output was actually pulled in as Javscript source rather than read as JSON. It seemed others might find it useful so I added it as a standard feature but didn't think through that it's not really producing JSON.