There is a fuller write-up at what to do after a pipe burst.