Fix users not receiving permission updates

This commit is contained in:
Luck 2016-10-03 21:41:47 +01:00
parent 43c514132d
commit 13bccd1d3f
No known key found for this signature in database
GPG Key ID: EFA9B3EC5FD90F8B
4 changed files with 4 additions and 0 deletions

View File

@ -140,6 +140,7 @@ public class JSONDatastore extends FlatfileDatastore {
}, false); }, false);
} finally { } finally {
user.getIoLock().unlock(); user.getIoLock().unlock();
user.refreshPermissions();
} }
} }

View File

@ -179,6 +179,7 @@ public class MongoDBDatastore extends Datastore {
}, false); }, false);
} finally { } finally {
user.getIoLock().unlock(); user.getIoLock().unlock();
user.refreshPermissions();
} }
} }

View File

@ -185,6 +185,7 @@ abstract class SQLDatastore extends Datastore {
); );
} finally { } finally {
user.getIoLock().unlock(); user.getIoLock().unlock();
user.refreshPermissions();
} }
} }

View File

@ -126,6 +126,7 @@ public class YAMLDatastore extends FlatfileDatastore {
}, false); }, false);
} finally { } finally {
user.getIoLock().unlock(); user.getIoLock().unlock();
user.refreshPermissions();
} }
} }