aboutsummaryrefslogtreecommitdiff
path: root/player
diff options
context:
space:
mode:
Diffstat (limited to 'player')
-rw-r--r--player/instructions.f903
-rw-r--r--player/player.F904
-rw-r--r--player/tasks.f902
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)