diff options
author | Daniel Silverstone <dsilvers@digital-scurf.org> | 2013-05-27 10:57:59 +0100 |
---|---|---|
committer | Daniel Silverstone <dsilvers@digital-scurf.org> | 2013-05-27 10:57:59 +0100 |
commit | 06fc8a236b59c5a2ad9943329da4bd1cfb00246f (patch) | |
tree | 39373e4b5cb6781c3d806a6f125219e8db95b498 | |
parent | 6f07f66dd99f0fdc97daa402483a5838dd6d001a (diff) | |
download | gitano-06fc8a236b59c5a2ad9943329da4bd1cfb00246f.tar.gz |
ADMINCOMMAND: Fix user delete for group membership
Prior to this patch, if you did 'user delete' on a user in a group
then the group membership change was not committed.
-rw-r--r-- | lib/gitano/admincommand.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/gitano/admincommand.lua b/lib/gitano/admincommand.lua index 0b7075a..e8c63ad 100644 --- a/lib/gitano/admincommand.lua +++ b/lib/gitano/admincommand.lua @@ -249,6 +249,7 @@ local function builtin_user_run(conf, _, cmdline, env) if gtab.members[username] then table.remove(gtab.members, gtab.members[username]) gtab.members[username] = nil + gtab.changed_tables() log.state("Removed", username, "from membership of", g) end end |