portsurvey log for http://webster.cs.ucr.edu

> http://webster.cs.ucr.edu/AsmTools/HLA/ ok