Stut <stuttle <at> gmail.com> writes: > Assuming you're using a web server it's possible PHP is caching the DNS > server details. Try restarting the web server. Alternatively try the > same script on the command line.
Wow! You're right! Stopping apache and then starting it (in two steps) solves the problem! In fact, I had tried restarting it (/etc/init.d/apache restart) but it didn't make any difference. -- PHP General Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
