/**
 * This file is intended to be included as the first script tag on pages that want to ensure that users are always not using https.
 * It simply redirects to the http protocol and correct port.
 */
(function() {
	var l = window.location;
	if (l.protocol == "https:") {
		var host = l.host.replace(/85$/,"80");
		var url = "http://" + host + l.pathname + l.search + l.hash;
		window.location.href = url;
	}
})();