What to do immediately after a pipe bursts?