diff options
-rw-r--r-- | admin/WebConsole/principal/boot_grub4dos.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/admin/WebConsole/principal/boot_grub4dos.php b/admin/WebConsole/principal/boot_grub4dos.php index fbd7e171..680d53ad 100644 --- a/admin/WebConsole/principal/boot_grub4dos.php +++ b/admin/WebConsole/principal/boot_grub4dos.php @@ -31,6 +31,7 @@ switch($litambito){ break; case "gruposordenadores": $seleccion= "and grupoid=" . $idambito . ""; + break; default: $seleccion=""; break; |