";
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 " |