diff options
| author | Irina Gómez <irinagomez@us.es> | 2019-02-22 12:07:03 +0100 |
|---|---|---|
| committer | Irina Gómez <irinagomez@us.es> | 2019-02-22 12:07:03 +0100 |
| commit | ee0a327ede4e94cfe4d1884944e713032aa5f36a (patch) | |
| tree | ab2522728f2d98ee4d4351d7d93d55475227a63c /admin/WebConsole/principal/boot_grub4dos.php | |
| parent | 8c88e08bee16651c6b6c10303b7a1f519a4cc7ae (diff) | |
#802 #888 Fix error in 8c88e08: NetbootAvanzado UEFI compatibility
Diffstat (limited to 'admin/WebConsole/principal/boot_grub4dos.php')
| -rw-r--r-- | admin/WebConsole/principal/boot_grub4dos.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/admin/WebConsole/principal/boot_grub4dos.php b/admin/WebConsole/principal/boot_grub4dos.php index d41d216e..d5bef893 100644 --- a/admin/WebConsole/principal/boot_grub4dos.php +++ b/admin/WebConsole/principal/boot_grub4dos.php @@ -138,7 +138,7 @@ for($i=0; $i<count($pn); $i++) { $nocomun=""; $description=exec("awk 'NR==1 {print $2}' ".$dirtemplatesbios.$pn[$i]); // Si la plantilla no es comun, definimos si es bios o uefi - if ( ! array_key_exists($pn[$i],$pncomun)) { + if ( ! in_array($pn[$i],$pncomun)) { $nocomun= ($description === "") ? "(uefi)" : "(bios)"; } // Si la descripción está vacía consultamos las plantillas uefi |