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/tasks.f90 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'player/tasks.f90') 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