portsurvey log for http://www.coda.cs.cmu.edu
> http://www.coda.cs.cmu.edu/ ok