On 08/12/2018 15:09, Thomas Prufer wrote:

A residential sprinkler system that goes off unattended will flood the place
eventually, possibly causing more damage than the bit of heat that set off a
sprinkler head.


Then just keep moving it until it no longer goes off.


--
Adam