diff options
| author | jim-p <jimp@pfsense.org> | 2010-07-12 13:20:44 -0400 |
|---|---|---|
| committer | jim-p <jimp@pfsense.org> | 2010-07-12 13:20:44 -0400 |
| commit | 2a0e85128c5076a038743a5e0634c58c11019655 (patch) | |
| tree | f5fb8211e9a3912494612bf85ee82488f6f6584e /usr/local/www/system_groupmanager.php | |
| parent | 2934322e80c7b99f87a96a56e1353c1c837d5b64 (diff) | |
| download | pfsense-2a0e85128c5076a038743a5e0634c58c11019655.zip pfsense-2a0e85128c5076a038743a5e0634c58c11019655.tar.gz | |
After editing a group, refresh its users, as their shell privileges may have changed.
Diffstat (limited to 'usr/local/www/system_groupmanager.php')
| -rw-r--r-- | usr/local/www/system_groupmanager.php | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/usr/local/www/system_groupmanager.php b/usr/local/www/system_groupmanager.php index 9c37c99..a167790 100644 --- a/usr/local/www/system_groupmanager.php +++ b/usr/local/www/system_groupmanager.php @@ -150,6 +150,14 @@ if ($_POST) { } local_group_set($group); + + /* Refresh users in this group since their privileges may have changed. */ + $a_user = &$config['system']['user']; + foreach ($a_user as & $user) { + if (in_array($user['uid'], $group['member'])) + local_user_set($user); + } + write_config(); header("Location: system_groupmanager.php"); |
