Menu
▾
▴
#898 Can't unenroll from game
None
open-fixed
5
2013-07-31
2013-07-24
No
User reported that it started recently that he cannot unenroll from games - even if enrolled, still the "Enroll" button was active and "Unenroll" disabled.
It turned out that this was due to case difference: user was registered e.g. as "JohnDoe" but logged in now as "johndoe" and thus GUI did not recognized own name as being listed as an enrolled person.
Fixed: case insensitive compare.
Long term: should align server and gui's idea of username, e.g. when logging in with "wrong" case, automatically correcting it in GUI's username field.
Fixed in r5314.
As it turns out, already earlier I had implemented the handling of user logging in with wrong-case name - server now sends a message asking user to change username field accordingly (there was just not new enough version running at server so far).
Leaving open until next official release, as usual.