diff options
Diffstat (limited to 'player')
-rw-r--r-- | player/instructions.f90 | 19 |
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) |