Air traffic in Riyadh was briefly disrupted and has now resumed.