cleanup naming and style stuff in krad_web server