Should the congregation have interrupted the Baba Sali's prayer to inform him of the shooting in the Synagogue? In honor of the Baba Sali's yartzeit.