Freeciv

I've been debugging a problem where city has not been refreshed when it should. Turns out the sequence is:

1) City gets added to the refresh queue by city_freeze_workers_queue(). needs_arrange gets set
2) Somewhere the city gets arranged. needs_arrange gets cleared
3) city_freeze_workers_queue() gets called for the same city again. It detects that the city is already in the queue, and does not nothing, DOESN'T EVEN SET needs_arrange
4) City get unqueued. city_thaw_workers() sees that needs_arrange is already cleared, and does no arrange