iandundas · May 20, 2013 04:44
diff --git a/new_gist_file b/new_gist_file
 <?php
    if(empty($_SERVER['HTTPS']))
    {
        // If not, redirect
        $newurl = 'https://'.$_SERVER['SERVER_NAME'].$_SERVER['REQUEST_URI'];
        header("location: $newurl");
        exit();
    }
	<?php
	if(empty($_SERVER['HTTPS']))
	{
	// If not, redirect
	$newurl = 'https://'.$_SERVER['SERVER_NAME'].$_SERVER['REQUEST_URI'];
	header("location: $newurl");
	exit();
	}