<?php # local settings.php 

if($_SERVER['HTTP_HOST'] != 'get.scratchpads.org'){
    $_SERVER['HTTPS'] = 'on';
}