From 2e448e9ae839064d984ddb8f27f97c1c9d6d1fc2 Mon Sep 17 00:00:00 2001
From: Steven Hugg <hugg@fasterlight.com>
Date: Sat, 18 May 2019 18:33:38 -0400
Subject: [PATCH] HTTPS redirect cookie

---
 index.html |  2 +-
 src/ui.ts  | 31 ++++++++++++++++++++++++++++++-
 2 files changed, 31 insertions(+), 2 deletions(-)

diff --git a/index.html b/index.html
index 49880eea..29878748 100644
--- a/index.html
+++ b/index.html
@@ -287,7 +287,7 @@ if (window.location.host.endsWith('8bitworkshop.com')) {
   </div>
 </div>
 <div id="videoPreviewModal" class="modal fade">
-  <div class="modal-dialog modal-md" role="document">
+  <div class="modal-dialog modal-lg" role="document">
     <div class="modal-content">
       <div class="modal-header">
         <h3 class="modal-title">Video Preview - Right-click to save</h3>
diff --git a/src/ui.ts b/src/ui.ts
index e3df8860..86a402e6 100644
--- a/src/ui.ts
+++ b/src/ui.ts
@@ -387,7 +387,7 @@ function getCurrentEditorFilename() : string {
 
 var githubService : GithubService;
 
-function getCookie(name) {
+function getCookie(name) : string {
     var nameEQ = name + "=";
     var ca = document.cookie.split(';');
     for(var i=0;i < ca.length;i++) {
@@ -1848,3 +1848,32 @@ function convertLegacyVCS(store) {
     })
   }
 }
+
+const useHTTPSCookieName = "__use_https";
+
+function shouldRedirectHTTPS() {
+  // cookie set?
+  if (getCookie(useHTTPSCookieName)) {
+    return true;
+  }
+  // is this our first time here? if so, set a 10yr cookie
+  if (hasLocalStorage && !localStorage.getItem("__lastplatform")) {
+    document.cookie = useHTTPSCookieName + "=1;domain=8bitworkshop.com;path=/;max-age=315360000";
+    return true;
+  }
+  // we can't redirect, might still have HTTP files
+  return false;
+}
+
+function redirectToHTTPS() {
+  if (window.location.protocol == 'http:' && window.location.host == '8bitworkshop.com') {
+    if (shouldRedirectHTTPS()) {
+      window.location.replace(window.location.href.replace(/^http:/, 'https:'));
+    } else {
+      $("#http_warning").show(); // TODO
+    }
+  }
+}
+
+// redirect to HTTPS after script loads?
+redirectToHTTPS();