We had a similar incident in our airline (GF) about a month ago from BAH to KUL. They lost all the crew O2 about an hour & a half before destination so they landed at the nearest suitable airport. The management & the trainers all agreed with the Capt's decision. After all who wants to keep pushing when you have a suitable place to land? Since it always seems that when 1 thing goes wrong there are bound to be other problems cropping up. As they say "Best to think about it on the ground"