From 70cef7335be84231bd25b26e754e7a1c16094277 Mon Sep 17 00:00:00 2001
From: Chris Garrity <chrisg@media.mit.edu>
Date: Thu, 30 Jan 2020 09:43:51 -0500
Subject: [PATCH] Really delete the cookie

It appears that setting the domain on the cookie prevents it from actually deleting the cookie.
---
 src/init.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/init.js b/src/init.js
index bf798094a..034b93934 100644
--- a/src/init.js
+++ b/src/init.js
@@ -21,7 +21,7 @@ const jar = require('./lib/jar');
         } else {
             // delete the old cookie (just hostname) by setting it to null and expiring in the past
             /* eslint-disable max-len */
-            document.cookie = `scratchlanguage=; expires=Thu, 01 Jan 1970 00:00:00 GMT; path=/; domain=${window.location.hostname}`;
+            document.cookie = `scratchlanguage=;expires=Thu, 01 Jan 1970 00:00:00 GMT;path=/`;
             /* eslint-enable max-len */
             // create the new cookie
             let opts = {};