From 118089c338ac73815649269393c9e90d0153863c Mon Sep 17 00:00:00 2001
From: sebalix <seb@usr-src.org>
Date: Thu, 21 Sep 2017 11:21:34 +0200
Subject: [PATCH] [FIX] base_user_role: update users' groups when a role is
 deleted

---
 base_user_role/models/role.py | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/base_user_role/models/role.py b/base_user_role/models/role.py
index facc8291..3e0a2cd4 100644
--- a/base_user_role/models/role.py
+++ b/base_user_role/models/role.py
@@ -46,6 +46,13 @@ class ResUsersRole(models.Model):
         self.update_users()
         return res
 
+    @api.multi
+    def unlink(self):
+        users = self.mapped('user_ids')
+        res = super(ResUsersRole, self).unlink()
+        users.set_groups_from_roles()
+        return res
+
     @api.multi
     def update_users(self):
         """Update all the users concerned by the roles identified by `ids`."""