minecraft/Essentials
1
0
Fork 0
mirror of https://github.com/essentials/Essentials.git synced 2025-08-13 10:04:51 +02:00
Code Issues Releases Wiki Activity

Fix for Users file being flagged as updated when it wasn't.

Browse Source
This commit is contained in:
ElgarL
2011-11-07 01:59:12 +00:00
parent cf9ef46182
commit ab2e8f94f0
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
EssentialsGroupManager/src/org/anjocaido/groupmanager/dataholder/WorldDataHolder.java
View File

@@ -669,7 +669,7 @@ public class WorldDataHolder {
ph.removeGroupsChangedFlag(); ph.removeGroupsChangedFlag();
// Update the LastModified time. // Update the LastModified time.
ph.groupsFile = groupsFile; ph.groupsFile = groupsFile;
ph.setTimeStamps(); ph.setTimeStampGroups(groupsFile.lastModified());
//return ph; //return ph;
} }
@@ -776,7 +776,7 @@ public class WorldDataHolder {
ph.removeUsersChangedFlag(); ph.removeUsersChangedFlag();
// Update the LastModified time. // Update the LastModified time.
ph.usersFile = usersFile; ph.usersFile = usersFile;
ph.setTimeStamps(); ph.setTimeStampUsers(usersFile.lastModified());
//return ph; //return ph;
} }

4
EssentialsGroupManager/src/org/anjocaido/groupmanager/dataholder/worlds/WorldsHolder.java
View File

@@ -200,8 +200,8 @@ public class WorldsHolder {
//Check for newer file as no local changes. //Check for newer file as no local changes.
if (w.getTimeStampGroups() < w.getGroupsFile().lastModified()) { if (w.getTimeStampGroups() < w.getGroupsFile().lastModified()) {
System.out.print("Newer Groups file found (Loading changes)!"); System.out.print("Newer Groups file found (Loading changes)!");
// Backup Users file // Backup Groups file
backupFile(w,false); backupFile(w,true);
w.reloadGroups(); w.reloadGroups();
} }
} }