##
# Redirect a request from a domain to the www host
##

#
# Don't run the script if the host is already www......
# 
if ( string.startsWith( http.getHostHeader(), "www." ) )
{
  break;
}
#
# Get the request parts needed
#
$host = "www.".http.getHostHeader();
$path = http.getPath();
$query = http.getRawQueryString();
#
# Checking the protocol from the client
#
if ( ssl.isSSL() )
{
  $protocol = "https://";
} else {
  $protocol = "http://";
}
#
# Define the location string ready for the redirect
#
$location = "Location: ".$protocol.$host.$path;
#
# Check if there is a query string in the request
#
if ( $query != "" )
{
  $location = $location."?".$query;
}
#
# Send the client to the right place
#
http.sendResponse( "301 Moved Permanently", "text/html", "", $location );