From 45ebaa3ab7a0923a6470a86dd1837bede1060d3f Mon Sep 17 00:00:00 2001 From: Paul McKeown Date: Wed, 17 Jul 2024 16:26:36 +1200 Subject: [PATCH] Minor wording updates for grade cache settings. --- lang/en/qtype_coderunner.php | 2 +- settings.php | 15 ++++++++------- 2 files changed, 9 insertions(+), 8 deletions(-) diff --git a/lang/en/qtype_coderunner.php b/lang/en/qtype_coderunner.php index 00204fef..1998975b 100644 --- a/lang/en/qtype_coderunner.php +++ b/lang/en/qtype_coderunner.php @@ -1344,4 +1344,4 @@ function should be applied, e.g. {{STUDENT_ANSWER | e(\'py\')}} is $string['xmlcoderunnerformaterror'] = 'XML format error in coderunner question'; $string['enablegradecache'] = 'Enable reading/writing of job,result pairs from/to the Coderunner grading cache.'; -$string['enablegradecache_desc'] = 'The cache is a local Moodle cache (currently file cache) to store results of grading questions. Mainly to speed up regrading by using cached results for jobe runs where the same jobe submission has already been graded. Currently WS jobs (eg, try-it boxes and scratchpad runs) will never be cached. NOTE: If you turn off grade caching then it is usually good to empty the Coderunner grade cache before you turn it on again so you have a known state for the cache. You should also clear the cache if you change the Jobe back-end (eg, installing a new version of Python there) as results may now differ from what is in the cache.'; +$string['enablegradecache_desc'] = 'Experimental. The cache is a local Moodle cache (currently file cache) to store results of grading questions. Mainly to speed up regrading by using cached results for jobe runs where the same jobe submission has already been graded. Currently WS jobs (eg, try-it boxes and scratchpad runs) will never be cached. NOTE: If you turn off grade caching then it is usually good to empty the Coderunner grade cache before you turn it on again so you have a known state for the cache. You should also clear the cache if you change the Jobe back-end (eg, installing a new version of Python there) as results may now differ from what is in the cache.'; diff --git a/settings.php b/settings.php index dd430786..ef2f178d 100644 --- a/settings.php +++ b/settings.php @@ -78,6 +78,14 @@ constants::JOBE_HOST_DEFAULT_API_KEY )); +$settings->add(new admin_setting_configcheckbox( + "qtype_coderunner/enablegradecache", + get_string('enablegradecache', 'qtype_coderunner'), + get_string('enablegradecache_desc', 'qtype_coderunner'), + false +)); + + $settings->add(new admin_setting_configtext( "qtype_coderunner/ideone_user", get_string('ideone_user', 'qtype_coderunner'), @@ -86,13 +94,6 @@ )); -$settings->add(new admin_setting_configcheckbox( - "qtype_coderunner/enablegradecache", - get_string('enablegradecache', 'qtype_coderunner'), - get_string('enablegradecache_desc', 'qtype_coderunner'), - false -)); - $settings->add(new admin_setting_configtext( "qtype_coderunner/ideone_password", get_string('ideone_pass', 'qtype_coderunner'),