"; if ( $gbmDN != ""){ clean_up_del_gbm($gbmDN); if ( dive_into_tree_del($gbmDN,"") ){ clean_up_del_gbm($gbmDN); $mesg = "Generisches Bootmenü ".$gbmcn." erfolgreich gelöscht! "; } else{ $mesg = "Fehler beim löschen des Generischen Bootmenüs ".$gbmcn." ! "; } } $mesg .= " Sie werden automatisch auf die vorherige Seite zurückgeleitet. Falls nicht, klicken Sie hier back"; redirect($seconds, $url, $mesg, $addSessionId = TRUE); echo "

"; ?>