20200520 city.mangaluru: Karnataka restaurants; hotels to get nod?