<?php function redirect(_SERVER['HTTP_HOST'] . dirname(url); } else { die('Could not redirect; Headers already sent (output).'); } } ?>
(C) Æliens 20/2/2008
You may not copy or print any of this material without explicit permission of the author or the publisher. In case of other copyright issues, contact the author.