Only pause the game if it hasn't been paused already
authorPhilip Lorenz <philip@bithub.de>
Fri, 29 Mar 2013 12:33:18 +0000 (13:33 +0100)
committerPhilip Lorenz <philip@bithub.de>
Fri, 29 Mar 2013 16:29:54 +0000 (17:29 +0100)
commiteedbed5650c78c4290a1cea22d67357feaee61ea
tree54cf53b81a58e7b79c4021ebded8213fab56a990
parent422382a0f561a16c4b93add5aa423609c9cf43c6
Only pause the game if it hasn't been paused already

If pause() gets called while the game is already paused the elapsed
time would still be incremented if this isn't checked.
src/board.cpp
src/board.h