fixed pausing network games if the game already ended
authorHolger Schemel <info@artsoft.org>
Fri, 17 Aug 2018 10:16:20 +0000 (12:16 +0200)
committerHolger Schemel <info@artsoft.org>
Fri, 17 Aug 2018 10:16:20 +0000 (12:16 +0200)
commitc845df106ed2c6af8923eb3d9dc1eb7af621861e
tree4c9565b7b951b8976780fbefa46e171da4761b1a
parent6687b5314f1e08eb7364c0c5d753b96db18f6089
fixed pausing network games if the game already ended
src/tools.c