20181030 city.bengaluru: Gas pipeline springs leak in Whitefield; disaster averted