Después de que los cruzados fueron desarmados, las tropas de Colomán los agredieron y masacraron cerca de Pannonhalma a principios de julio.