reformat the websvr.rkt
reformat the websvr.rkt