I staden flaggades på half stång.