chiark / gitweb /
Check correctly for the case where no player is found.
[disorder] / ChangeLog
1 See version control history for detailed change information.
2