While that's true, the building's health status is public. The wrench anim is just a convenience to spare the player from clicking a building to see whether its health has improved in the meantime.
While that's true, the building's health status is public. The wrench anim is just a convenience to spare the player from clicking a building to see whether its health has improved in the meantime.