Fix problem where HTTP_HOST is not set when called via command line.
tree0855a1756b458bccb24647858841e54465646a76
-rw-r--r-- 859 TODO.txt
-rw-r--r-- 2237 XHTMLCompiler.php
drwxr-xr-x - XHTMLCompiler
drwxr-xr-x - catalog
-rw-r--r-- 730 common.php
-rw-r--r-- 2011 config.default.php
-rw-r--r-- 294 config.filters.php
-rw-r--r-- 686 config.smoketest.php
-rw-r--r-- 5105 functions.php
-rw-r--r-- 3599 htaccess.php
-rw-r--r-- 928 index.html
-rw-r--r-- 410 main.php
-rw-r--r-- 446 smoketest.txt
drwxr-xr-x - smoketests
drwxr-xr-x - tests
-rw-r--r-- 2578 update.php