Advertisement
The technical issue that was noticed around 1.30 am was fixed by 6 am, they said.
Only international departures were affected, impacting printing of boarding passes and baggage handling, officials added.
International services to destinations including Colombo, Dubai and Bangkok suffered delays.