[bawolff]

It not neccesarily is. If the gate agent uses a windows laptop, the core infrastructure (servers) might not be windows, but if the laptop doesnt work its still "down" even if the servers are fine.