diff options
| author | Ermal <eri@pfsense.org> | 2010-09-08 17:04:45 +0000 |
|---|---|---|
| committer | Ermal <eri@pfsense.org> | 2010-09-08 17:04:45 +0000 |
| commit | 6dcd80af70f34396861e7ee02732bed518945d8e (patch) | |
| tree | 9ba19a97deddcd75e510bb20c73f9d89fef52a8d /etc/inc/auth.inc | |
| parent | 41fb483ad8ebb9aa57a827d2c37d47ce096442f4 (diff) | |
| download | pfsense-6dcd80af70f34396861e7ee02732bed518945d8e.zip pfsense-6dcd80af70f34396861e7ee02732bed518945d8e.tar.gz | |
Check for proper type.
Diffstat (limited to 'etc/inc/auth.inc')
| -rw-r--r-- | etc/inc/auth.inc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/etc/inc/auth.inc b/etc/inc/auth.inc index 9b7db69..f5c84d8 100644 --- a/etc/inc/auth.inc +++ b/etc/inc/auth.inc @@ -94,7 +94,7 @@ function index_groups() { $groupindex = array(); - if (isset($config['system']['group'])) { + if (is_array($config['system']['group'])) { $i = 0; foreach($config['system']['group'] as $groupent) { $groupindex[$groupent['name']] = $i; @@ -108,7 +108,7 @@ function index_groups() { function index_users() { global $g, $debug, $config; - if (isset($config['system']['user'])) { + if (is_array($config['system']['user'])) { $i = 0; foreach($config['system']['user'] as $userent) { $userindex[$userent['name']] = $i; |
