20120614 city.mumbai: School bus operators get time till July 31 to plug holes