I staden flaggades allmänt på half stång.