Looks like you're right. The reason why I didn't notice it, is because I've set my board to go back to the forum after posting, instead of returning to the thread.
Anyway, I have investigated it for a couple of hours, and it seems to be an Internet Explorer problem, since the header is passed just fine. In other words, IE ignores internal anchors (#post1234) in the Location URL, in this specific case. In my tests, when having an internal anchor in the Location URL, but having it as the only header line, it worked just fine. Therefore, there seems to be another header line which confuses IE in this case, but I haven't been able to find it. If someone could help, it would be great.
In the meantime, you can replace:
PHP Code:
doshutdown();
header ("Location: $url");
eval("dooutput(\"".gettemplate("standardredirect")."\");");
with
PHP Code:
doshutdown();
header ("Refresh: 0; URL=$url");
// eval("dooutput(\"".gettemplate("standardredirect")."\");");
This does not perform "smooth" redirect, as it uses a technique close to the original one vBulletin uses, however it will transfer internal anchors, and it is faster than the original vBulletin redirection. If the internal anchors problem doesn't bother you, you should stay with the original Location line, until we find a better solution.