tjger - the java game & entertainment rt Code (Desktop)

the java game and entertainment runtime

Brought to you by: hagru, josefjordan

Change isHumanPlayer that it is not necessary that the player is playing (troubles with Android app).

Authored by: hagru 2017-07-07

Parent: [r1027]

changed