tree 22735c83349489948222e6ea45da0e5c02bc7156
parent 51ef51ca61c5542732415c65b556b34a4ec490ac
author Xikui Wang <xkkwww@gmail.com> 1489611167 -0700
committer Michael Blow <mblow@apache.org> 1489621952 -0700

Format JSON output

1. Added Format JSON output query option.
2. Tweaked front end JS to rerender the JSON result. (Take the HTML
   element and rerender it with json-viewer plugin).
3. Added jquery.json-viewer library (MIT License) to front end, with
   several customization: a) Several compatibility bug fix (semi-colon,
   comment); b) expand logo change.

Change-Id: Ieec8489c0a055b01e754bba5f9827a7c1f175567
Reviewed-on: https://asterix-gerrit.ics.uci.edu/1574
Reviewed-by: Michael Blow <mblow@apache.org>
Integration-Tests: Michael Blow <mblow@apache.org>
Tested-by: Michael Blow <mblow@apache.org>