Considering it's an airline, it's likely either a IBM i or a IBM Z System where they track everything relating to their flights (schedules, reservations, checked luggage, etc). A lot of companies (mine included) seem to thing these devices are high-availability giants and never test what happens should they go down. I know if ours ever took a dump we would be in some big trouble (though we could function for at least 24 hours).