Now using the json editor widget from jsoneditoronline.org. It's very nice\! Also, server continues to run on port 7777.