Changing server name...

[Anon]

Weird problem :
we have a live web server which has a proper DNS name and a dev box with just an ip address. We also have a "cache-busting" function which appends a random query string to any URL, so that the browser is forced to retrieve the latest version from the server.
The cache-buster uses $SERVER_NAME to create fully qualified URLs.
When we try to move the code from the dev box to the live box, weird stuff happens with code that relies on getting SERVER_NAME.
Instead of generating "http://www.somewhere.com/index.php?cachebuster=13246346" we get "http://www.somewhere.com/index.php?cachebuster=13246346""http://www.somewhere.com/index.php?cachebuster=13246346
http://www.somewhere.com/index.php?cachebuster=13246346"
We're using PHP 4.01. Anyone got any smart ideas ?

Nev

[Anon]

Show us the code that generates that false url, and maybe we can help you.
right now there's not much to say.

[Anon]

Fixed it - I was focussed on the function itself, but in fact, it was the session handling in PHP which was trying to read a cookie from the old domain, not recognizing it, and appending the sessionid to the <a href> tag - this happens before the UniqueHref function is even called.
So, another one to look out for...

thanks anyway, Vincent