mmpool.org ports 3333 & 3334 down again? My miners are saying they're both dead.

There is still some people getting shares in though. Looks like someone is dropping almost 2 Ph/s on the pool right now.