20011210 city.bengaluru: Mining ban to stay till Veerappan's caught