From 699a0f756a4aad734869af3e85eac20f71d20266 Mon Sep 17 00:00:00 2001 From: Miroslav Stampar Date: Tue, 18 Dec 2012 12:43:23 +0100 Subject: [PATCH] Minor fix --- plugins/generic/users.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugins/generic/users.py b/plugins/generic/users.py index 91f3832f2..7e87e23fe 100644 --- a/plugins/generic/users.py +++ b/plugins/generic/users.py @@ -428,7 +428,7 @@ class Users: areAdmins.add(user) if user in kb.data.cachedUsersPrivileges: - kb.data.cachedUsersPrivileges[user].extend(privileges) + kb.data.cachedUsersPrivileges[user] = list(privileges.union(kb.data.cachedUsersPrivileges[user])) else: kb.data.cachedUsersPrivileges[user] = list(privileges)