Merge pull request #597 from France-ioi/send-score-token

Send scoreToken to platform

Author: SebastienTainon

frontend/submission/submission_types.ts

@@ -117,6 +117,7 @@ export interface TaskSubmissionServer extends TaskSubmission {
 export interface TaskSubmissionServerResult extends SubmissionNormalized {
     subTasks?: SubmissionSubtaskNormalized[],
     tests: TaskSubmissionServerTestResult[],
+    scoreToken?: string,
 }
 
 export interface TaskSubmissionServerTestResult extends TaskSubmissionTestResult, SubmissionTestNormalized {

frontend/submission/task_submission.tsx

@@ -313,8 +313,9 @@ class TaskSubmissionExecutor {
                 }
 
                 return {
-                    score: outcome.result.score / 100,
-                    message: outcome.result.errorMessage,
+                    score: submissionResult.score / 100,
+                    message: submissionResult.errorMessage,
+                    scoreToken: submissionResult.scoreToken,
                 };
             } else {
                 yield* put(submissionUpdateTaskSubmission({id: submissionIndex, submission: {...serverSubmission, crashed: true}}));

frontend/task/instructions/instructions.tsx

@@ -273,7 +273,6 @@ function transformNode(node, index: string|number, context: {platform: CodecastP
     } else if (node.attribs && 'smart-contract-storage' in node.attribs) {
         return <SmartContractStorage/>;
     } else if (node.attribs && 'data-icon' in node.attribs) {
-        console.log('icons', node.attribs);
         return <FontAwesomeIcon icon={node.attribs['data-icon']} className={node.attribs['class']}/>;
     } else if (node.attribs && ('data-show-source' in node.attribs || ('class' in node.attribs && -1 !== node.attribs['class'].indexOf('language-')))) {
         let code, lang;