From 40c9cf38ca70f2d5b8418b5e2fdda78ab3707844 Mon Sep 17 00:00:00 2001 From: Jeffrey Armstrong Date: Tue, 18 May 2021 08:56:54 -0400 Subject: Added time stamps to common player stdout messages. Fixed delete_tree task to blow away files by default. --- player/instructions.f90 | 3 ++- player/player.F90 | 4 +++- player/tasks.f90 | 2 +- 3 files changed, 6 insertions(+), 3 deletions(-) diff --git a/player/instructions.f90 b/player/instructions.f90 index 587b6c8..c0407c1 100644 --- a/player/instructions.f90 +++ b/player/instructions.f90 @@ -59,7 +59,8 @@ contains call j%get("status", json_string_value, found) if(found) then - Print *, "Checkin status: "//json_string_value + ! GNU Extension... :( + Print *, fdate()//" Checkin status: "//json_string_value work_available = (json_string_value /= "idle") else work_available = .false. diff --git a/player/player.F90 b/player/player.F90 index 308be3b..121b441 100644 --- a/player/player.F90 +++ b/player/player.F90 @@ -64,7 +64,9 @@ implicit none end if if(work_to_do) then - Print *, "Work Available" + + ! GNU Extension... :( + Print *, fdate()//" Work Available" job_id = get_job_id_from_checkin(j_checkin) call get_instruction_name_from_checkin(j_checkin, instruction_name) diff --git a/player/tasks.f90 b/player/tasks.f90 index c660e8f..cbd4973 100644 --- a/player/tasks.f90 +++ b/player/tasks.f90 @@ -308,7 +308,7 @@ contains if(index(fulldir, " ") /= 0) then delete_tree = .false. else - delete_tree = remove_directory(fulldir) + delete_tree = remove_directory(fulldir, and_files=.true.) end if deallocate(fulldir) -- cgit v1.2.3