20190808 city.bengaluru: Karnataka government shuts procurement portal after cyber attack