På rådhuset blåste flaggan på half stång.