cleaning up html server discovery