diff options
| author | Jeffrey Armstrong <jeff@approximatrix.com> | 2021-05-18 08:56:54 -0400 |
|---|---|---|
| committer | Jeffrey Armstrong <jeff@approximatrix.com> | 2021-05-18 08:56:54 -0400 |
| commit | 40c9cf38ca70f2d5b8418b5e2fdda78ab3707844 (patch) | |
| tree | 433fcf699a0f382fd5e1f2f426e9ca71059871f1 | |
| parent | a5b792489808e6259986fdc38d60d674faef806a (diff) | |
| download | levitating-40c9cf38ca70f2d5b8418b5e2fdda78ab3707844.tar.gz levitating-40c9cf38ca70f2d5b8418b5e2fdda78ab3707844.zip | |
Added time stamps to common player stdout messages. Fixed delete_tree task to blow away files by default.
| -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) |