Public instance config

mdenet · Apr 12, 2024 · efda493 · efda493
1 parent fe88277
commit efda493
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 5 deletions.
diff --git 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
@@ -25,7 +25,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
@@ -16,11 +16,11 @@ export const config = {
 
     cookieOptions: {
         httpOnly: true,
-        secure: false,
-        sameSite: 'lax',
+        secure: true,
+        sameSite: 'strict',
         path: '/'
     },
 
     githubApiVersion : '2022-11-28'
 
-}
+}