Update ClientPermissions.java

This commit is contained in:
Gravit 2021-11-22 15:00:09 +07:00 committed by GitHub
parent a8e9418e89
commit 9f2c9bb589
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -56,6 +56,10 @@ public synchronized void compile() {
if (available != null) {
return;
}
if (perms == null) {
perms = new ArrayList<>(0);
}
available = new ArrayList<>(perms.size());
for (String a : perms) {
available.add(new PermissionPattern(a));