20200925 city.mangaluru: HC order allows merchants to function from Central Market