"; if ( $dhcpDN != ""){ if ( dive_into_tree_del($dhcpDN,"") ){ cleanup_del_dhcpservice($dhcpDN); $mesg = "DHCP Service ".$dhcpcn." erfolgreich gelöscht! "; } else{ $mesg = "Fehler beim löschen des DHCP Services ".$dhcpcn." ! "; } } $mesg .= " Sie werden automatisch auf die vorherige Seite zurückgeleitet. Falls nicht, klicken Sie hier back"; redirect($seconds, $url, $mesg, $addSessionId = TRUE); echo "

"; ?>