aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--player/instructions.f9019
1 files changed, 19 insertions, 0 deletions
diff --git a/player/instructions.f90 b/player/instructions.f90
index a1aaa9d..07007a3 100644
--- a/player/instructions.f90
+++ b/player/instructions.f90
@@ -230,6 +230,21 @@ contains
end subroutine get_task_name
+ function get_task_failure_okay(j, i) result(res)
+ implicit none
+
+ class(json_file)::j
+ integer, intent(in)::i
+ character(*), intent(in)::component
+
+ logical::res
+
+ if(.not. get_task_logical(j, i, "failure_okay", res)) then
+ res = .false.
+ end if
+
+ end function get_task_failure_okay
+
subroutine get_task_operation(j, i, op)
use json_module
implicit none
@@ -345,6 +360,10 @@ contains
end if
+ if(get_task_failure_okay(j, i) .and. .not. success) then
+ success = .true.
+ end if
+
end function perform_task
subroutine perform_tasks(j, job_id)