From b50b8dce0fadcaf1b7d5ce39946748c43f6c528f Mon Sep 17 00:00:00 2001
From: Will Barnett <will.barnett@kcl.ac.uk>
Date: Mon, 8 Apr 2024 18:20:09 +0100
Subject: [PATCH] Public instance config

---
 platform/Dockerfile              | 3 ++-
 platform/src/XtextEditorPanel.js | 3 ++-
 tokenserver/src/config.js        | 6 +++---
 3 files changed, 7 insertions(+), 5 deletions(-)

diff --git a/platform/Dockerfile b/platform/Dockerfile
index f12f5f9..d7412e2 100644
--- a/platform/Dockerfile
+++ b/platform/Dockerfile
@@ -13,7 +13,8 @@ COPY package*.json ./
 COPY platform/ ./platform/
 
 # Refer to readme.md for a complete list of supported environment varibles
-ARG TOKEN_SERVER_URL=http://127.0.0.1:10000
+ARG TOKEN_SERVER_URL=https://mdenet-ep.sites.er.kcl.ac.uk
+ARG FEEDBACK_SURVEY_URL=https://forms.office.com/Pages/ResponsePage.aspx?id=FM9wg_MWFky4PHJAcWVDVraRChPUQ-ZGrubhv7wZFeNUM0M4VVQ4SU9MRFVWUUFJSldWU05CUUNCWC4u
 
 RUN npm ci --workspace=platform\
         && npm run build --workspace=platform --\
diff --git a/platform/src/XtextEditorPanel.js b/platform/src/XtextEditorPanel.js
index bd9e478..8b154f0 100644
--- a/platform/src/XtextEditorPanel.js
+++ b/platform/src/XtextEditorPanel.js
@@ -24,7 +24,8 @@ class XtextEditorPanel extends Panel {
                 enableCors: true,
                 syntaxDefinition: modeName,
                 parent: editorContainer,
-                xtextLang: extension
+                xtextLang: extension,
+                sendFullText: true
             });
         });
 
diff --git a/tokenserver/src/config.js b/tokenserver/src/config.js
index ec15aa8..22dd19e 100644
--- a/tokenserver/src/config.js
+++ b/tokenserver/src/config.js
@@ -16,11 +16,11 @@ export const config = {
 
     cookieOptions: {
         httpOnly: true,
-        secure: false,
-        sameSite: 'lax',
+        secure: true,
+        sameSite: 'strict',
         path: '/'
     },
 
     githubApiVersion : '2022-11-28'
 
-}
\ No newline at end of file
+}