Revert fd29a5e "Evito di flushare inutilmente in log_message()", perché
effettivamente non era inutile flushare.