Hmm… I don’t think that being unable to find an include file is the problem here. I tried redefining all the paths originating from wp-blog.header.php using $_SERVER[‘DOCUMENT_ROOT’] (after checking that it’s set correctly) and it made absolutely no difference. I think this must be one of those things that IIS returns a meaningless error for some other actual error.
