Fix devices page search & OS loading (#9752)

* Fix devices page search

* add a definition_loaded flag to prevent false positives for already loaded OS

* Fix copy paste error

* and another
This commit is contained in:
Tony Murray
2019-01-28 10:37:41 -06:00
committed by GitHub
parent 61f7046b60
commit eb59287d34
3 changed files with 12 additions and 3 deletions

View File

@@ -1535,7 +1535,12 @@ function load_os(&$device)
global $config;
if (!isset($device['os'])) {
d_echo('No OS to load');
d_echo("No OS to load\n");
return;
}
if (isset($config['os'][$device['os']]['definition_loaded'])) {
d_echo("OS already loaded\n");
return;
}
@@ -1562,6 +1567,8 @@ function load_os(&$device)
} else {
unset($device['os_group']);
}
$config['os'][$device['os']]['definition_loaded'] = true;
}
/**