bhuman/GameController — pull request #4 by dseifert (2014-03-02 12:40:54+00:00)
Title: Remember the penalty of the substituted player

When substituting a player, the substituting player should keep the remaining penalty time of the substituted player. In the humanoid league there are two different penalty times (60s for service, and 30s for all other penalties) which requires that the type of penalty is remembered to correctly calculate the remaining time.

I do not know how this applies to the SPL, i.e. whether the substituting player's penalty type should always be PICKUP and not whatever the substituted player's penalty actually was.