20131123 city.mangaluru: Pool to limit swimmers to 125; provide emergency facilities