*.mil:80 disconnected in self-defense?

I have a report that .mil disconnected port 80 traffic from outside hosts, and possibly some other stuff, in response to DOS attacks last week. There was some discussion on the inetproviders list this morning on the topic, and then I asked someone inside who confirmed the cutoff and said there's a DISA alert and operational bulletin about it. It seems to be Just One of Those Months. -george william herbert gherbert@retro.com