From 2fe7541052818ab4ce28bf36c3950b764a1ec17c Mon Sep 17 00:00:00 2001
From: Astor Bizard <astor.bizard@grenoble-inp.fr>
Date: Wed, 1 Jul 2020 09:41:16 +0200
Subject: [PATCH] Environment variable MOODLE_USER_ID made available in run and
 debug

---
 vpl_submission_CE.class.php | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/vpl_submission_CE.class.php b/vpl_submission_CE.class.php
index 4941bb93..110a64c3 100644
--- a/vpl_submission_CE.class.php
+++ b/vpl_submission_CE.class.php
@@ -54,7 +54,7 @@ class mod_vpl_submission_CE extends mod_vpl_submission {
             'lisp' => 'lisp',
             'lsp' => 'lisp',
             'lua' => 'lua',
-            'mod' => 'opl', 
+            'mod' => 'opl',
             'sh' => 'shell',
             'pas' => 'pascal',
             'p' => 'pascal',
@@ -203,7 +203,7 @@ class mod_vpl_submission_CE extends mod_vpl_submission {
             $data->debugscript = $vplinstance->debugscript;
         }
         // Execution files.
-        $sfg = $vpl->get_fgm('execution'); 
+        $sfg = $vpl->get_fgm('execution');
         $list = $sfg->getFileList();
         foreach ($list as $filename) {
             // Skip unneeded script.
@@ -283,13 +283,13 @@ class mod_vpl_submission_CE extends mod_vpl_submission {
             //$info .= vpl_bash_export( 'MOODLE_USER_NAME', $vpl->fullname( $user, false ) );
             $info .= vpl_bash_export( 'MOODLE_USER_NAME', $user->username );
         }
+        $info .= vpl_bash_export( 'MOODLE_USER_ID',  $subinstance->userid );
         if ($type == 2) { // If evaluation add information.
             $info .= vpl_bash_export( 'VPL_MAXTIME', $data->maxtime );
             $info .= vpl_bash_export( 'VPL_MAXMEMORY',  $data->maxmemory );
             $info .= vpl_bash_export( 'VPL_MAXFILESIZE',  $data->maxfilesize );
             $info .= vpl_bash_export( 'VPL_MAXPROCESSES',  $data->maxprocesses );
-            $info .= vpl_bash_export( 'MOODLE_USER_ID',  $subinstance->userid );
-            
+
             $gradesetting = $vpl->get_grade_info();
             if ($gradesetting !== false) {
                 $info .= vpl_bash_export( 'VPL_GRADEMIN',  $gradesetting->grademin );
-- 
GitLab