Do airline booking agencies still use that weird mainframe-like program for all their bookings? I heard it was impossible to replace because you'd need to switc

Do airline booking agencies still use that weird mainframe-like program for all their bookings? I heard it was impossible to replace because you'd need to switch the old one off, and there's never a moment when there's not thousands of planes in the air.