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