Changeset 35396

Timestamp:

Apr 12, 2013, 11:00:09 AM (13 years ago)

Author:

bills

Message:

don't fault if rm reports an error but the directory
did get deleted

File:

• trunk/pstamp/scripts/pstamp_cleanup.pl (modified) (1 diff)

trunk/pstamp/scripts/pstamp_cleanup.pl

@@ -192 +192 @@
             run(command => $command, verbose => $verbose);
         unless ($success) {
-            my $rc = $error_code >> 8;
-            my_die("Unable to perform $command return status: $rc", $req_id, $rc);
+            if (-e $dir) {
+                my $rc = $error_code >> 8;
+                my_die("Unable to perform $command return status: $rc", $req_id, $rc);
+            } else {
+                print STDERR "rm claimed to fail but directory no longer exists\n";
+            }
         }
     } else {