path: root/html_server/static/check_err.js

function checkError(json) {
   if(json.error)
      alert('Error: ' + json.error)
}