octobercms/install — pull request #35 by Naxiz (2014-06-15 21:15:48+00:00)
Title: Little fix for HTTPS detection

Use !empty() instead of isset() because if $_SERVER['HTTPS'] was just an empty string it still got detected as HTTPS.