20161113 city.delhi: Mandi won't shut down for now