function server_new_channel(request, response) {
  check_headers(request);
  let cid = new_channel();
  let body = JSON.stringify("" + cid);
  response.setStatusLine(request.httpVersion, 200, "OK");
  response.bodyOutputStream.write(body, body.length);
}
// Map channel -> ServerChannel object
Map channel -> ServerChannel object
Map channel - > ServerChannel object
function server_new_channel(request, response) {
  check_headers(request);
  let cid = new_channel();
  let body = JSON.stringify("" + cid);
  response.setStatusLine(request.httpVersion, 200, "OK");
  response.bodyOutputStream.write(body, body.length);
}
function server_new_channel ( request , response ) { check_headers ( request ) ; let cid = new_channel ( ) ; let body = JSON . stringify ( "" + cid ) ; response . setStatusLine ( request . httpVersion , 200 , "OK" ) ; response . bodyOutputStream . write ( body , body . length ) ; }
Map channel -> ServerChannel object
Map channel - > ServerChannel object