Oh, should also check for game finish when player quits without ROUNDFINISHED message: small refactoring, not tested at all
Also consider game finished when the last player reports ROUNDFINISHED despite the correctness parameter.
Someone might find this useful. Plan to link to it from the wiki.
Fix for
bug #366, delete gear if hog is drowning (needed either that or a check on nil Gear^.Hedgehog^.Gear)
Don't remove client's teams from teams list on "ROUNDFINISHED 0", just send team removal message to others.
This should fix problems with ghost teams in frontend.
Not tested at all, successfully built on first attempt, which is considered as a bad sign :D
Server still thinks game proceeds, so restart isn't possible.
android: fix finding cache dir on prefroyo devices, it now creates the Hedgewars folder if it wasn't there