In a Texas Holdem game, what happens when two players have the same flush and there is a tie?

In Texas Holdem, when two players have the same flush, the pot is split evenly between them as a tiebreaker.