<?php

if ($GLOBALS['CONFIG']['SSL'] && (!isset($_SERVER['HTTPS']) || strtolower($_SERVER['HTTPS']) != 'on')) {
	Location('https://'.$_SERVER['HTTP_HOST'].$_SERVER['REQUEST_URI']);
}

?>