The palace was almost totally destroyed in the air raids of World War II, then rebuilt in ferroconcrete.
The Imperial Palace only just survived the air raids of World War II.
The official, Indianized name of this town is Tiruchchirappalli, Cityof the Sacred Rock, but the place is still identified by its colonial name, Trichy, a short form of the equally European name Trichinopoly.