Deleting port " . $port['port_id'] . " - " . $port['ifDescr']); delete_port($port['port_id']); echo(""); } ?>