I figured out that the HTTP_SERVER is defined separately for the admin (a different configure.php file). All better now.

-John