[…] nicely said, Donncha … cases where it is ok to kill the database with a %u201Ckill -9%u2033: […]