This actually has happened at both online and real casinos. In general, if the player intended to exploit an issue they knew about they have to return the money

This actually has happened at both online and real casinos. In general, if the player intended to exploit an issue they knew about they have to return the money, if they randomly benefited they do not.