20121210 city.thiruvananthapuram: Cloud over KSRTC e-ticketing machines