adding mysql_dump_on_halt option to avoid lengthy shutdowns