Commit 3d26e4b3 authored by Leigh B Stoller's avatar Leigh B Stoller

When failing to remove experiment directory, try to rename it

parent 8616f37f
......@@ -784,11 +784,16 @@ sub Delete($;$)
print "*** WARNING: Not able to remove $userdir\n";
print " Someone will need to do this by hand.\n";
# Try to move the directory.
my $moved = (system("/bin/mv -f $userdir ${userdir}.$$") == 0);
# NFS errors usually the result. Sometimes its cause there is
# someone in the directory, so its being held open.
"Experiment::Delete: Could not remove directory",
"Could not remove $userdir.\n".
"Could not remove $userdir. ".
($moved ?
"Renamed to ${userdir}.$$ ..." : "") . "\n" .
"Someone will need to do this by hand.\n");
if (system("/bin/rm -rf $workdir")) {
Markdown is supported
0% or
Finish editing this message first!
Please register or to comment