<?php
$HTTP_HOST = getenv('HTTP_HOST');
header("Location: http://$HTTP_HOST:8090/");
?>