To tie or not to tie, that is the question

The Olympic high jumping technically could have ended in a tie with both finalists receiving a gold medal. But, both jumpers decided they wanted to keep going until there was one champion. What would you have done? I would have taken the tie for gold without even blinking!