riking c9858dfd49 Do not mark a PlayerProfile as clean if it failed to save ... DatabaseManager.saveUser() now returns a success value, which is used by PlayerProfile to determine whether or not it should be considered clean.		2013-10-06 10:09:09 +02:00
..
com/gmail/nossr50	Do not mark a PlayerProfile as clean if it failed to save	2013-10-06 10:09:09 +02:00
net	We don't use these parts of the updater.	2013-09-26 09:39:13 -04:00