ping.js revision ae382082b308e171a6f6da8b344d1acebbbf858b
if (request.method != "read") {
throw "Unsupported operation on ping info service: " + request.method
}
healthinfo