Come posso risolvere l'hostname in indirizzo IP utilizzando PHP, ma utilizzando un server dei nomi diverso (ad esempio OpenDNS o Google Public DNS).Risolvere il nome host in PHP utilizzando un altro nome server
Non sembra che dns_get_record()
o gethostbyname()
sono in grado di utilizzare un nameserver diverso da quello attualmente impostato sul sistema (in impostazioni TCP/IP o in /etc/resolv.conf
).
L'unico modo che ho trovato è utilizzando la classe PEAR netto/DNS, ma mi dà un sacco di avvertimenti sotto PHP 5.4
È un'opzione per eseguire uno script Python tramite exec e basta leggere l'output della shell? Ho visto questo stesso problema risolto in urllib2 su SO qui: http: //stackoverflow.com/questions/2236498/tell-urllib2-to-use-custom-dns/2237040#2237040 – DeaconDesperado
@DeaconDesperado: Perché usare uno script python ? Se puoi 'exec' in PHP, perché non chiamare semplicemente il comando unix' host'? 'exec ('host google.com 8.8.8.8')'? –
@Rocket, solo suggerendo ciò che mi era familiare, quindi il commento piuttosto che la risposta;) – DeaconDesperado