Merge branch 'development' of https://github.com/Grasscutters/Grasscutter into development

This commit is contained in:
Melledy
2022-05-14 06:35:37 -07:00
11 changed files with 207 additions and 10 deletions

View File

@@ -144,16 +144,17 @@ public class Account {
}
public boolean hasPermission(String permission) {
if (this.permissions.contains(permission) || this.permissions.contains("*")) {
return true;
}
if (this.permissions.contains(permission)) return true;
if(this.permissions.contains("*") && this.permissions.size() == 1) return true;
String[] permissionParts = permission.split("\\.");
for (String p : this.permissions) {
if (permissionMatchesWildcard(p, permissionParts)) {
return true;
}
if (p.startsWith("-") && permissionMatchesWildcard(p.substring(1), permissionParts)) return false;
if (permissionMatchesWildcard(p, permissionParts)) return true;
}
return false;
return this.permissions.contains("*");
}
public boolean removePermission(String permission) {