diff options
author | Irina Gómez <irinagomez@us.es> | 2019-03-15 13:12:02 +0100 |
---|---|---|
committer | Irina Gómez <irinagomez@us.es> | 2019-03-15 13:12:02 +0100 |
commit | 831de70ba49f7a66ff3ebbe2ad4716a2d2d3fa11 (patch) | |
tree | 3aa32db66fafc48a806824bd15c4b01a348350db /admin/WebConsole/principal | |
parent | b7dc4ace681f54c04252b26ed29027b1ea74e595 (diff) |
#802 #888 When the computer or repo propierties change, the console regenerate the PXE files for bios and uefi.
Diffstat (limited to 'admin/WebConsole/principal')
-rw-r--r-- | admin/WebConsole/principal/boot_grub4dos.php | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/admin/WebConsole/principal/boot_grub4dos.php b/admin/WebConsole/principal/boot_grub4dos.php index d5bef893..fbd7e171 100644 --- a/admin/WebConsole/principal/boot_grub4dos.php +++ b/admin/WebConsole/principal/boot_grub4dos.php @@ -148,7 +148,6 @@ for($i=0; $i<count($pn); $i++) { {$listadopxe=listadesconocido($cmd,$desconocido,$seleccion); // Solo lo mostramos si existen aquipos no asignados. if (isset($existe)){ - $description=$desconocido; echo "<td></td>"; echo "<td><font id='$description' color=red>"; echo $description; |