# file_put_contents ("debug.log", print_r ($_GET, TRUE) . "RUI {$_SERVER["REQUEST_URI"]}\nRQS {$_SERVER["REDIRECT_QUERY_STRING"]}\nRS {$_SERVER["QUERY_STRING"]}\nRDU {$_SERVER["REDIRECT_URL"]}\nSN {$_SERVER["SCRIPT_NAME"]}");
-if ($_GET["g"]) {
- foreach ($_GET["g"] as $G) {
+if (isset($_GET["g"])) {
+ /* Se filtran los grupos disponibles, con uno o varios criterios */
+ foreach ((array)$_GET["g"] as $G) {
$Grupos = array_merge ((array) $Grupos, preg_filter ("/^({$G})/", "$1", array_keys ($DE["plazas"])));
}
} else {