summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniel Silverstone <dsilvers@digital-scurf.org>2013-05-27 10:57:59 +0100
committerDaniel Silverstone <dsilvers@digital-scurf.org>2013-05-27 10:57:59 +0100
commit06fc8a236b59c5a2ad9943329da4bd1cfb00246f (patch)
tree39373e4b5cb6781c3d806a6f125219e8db95b498
parent6f07f66dd99f0fdc97daa402483a5838dd6d001a (diff)
downloadgitano-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.lua1
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