From 57385b593451907267812ee61701d54cbaf71af2 Mon Sep 17 00:00:00 2001
From: Christian Hesse <mail@eworm.de>
Date: Thu, 7 May 2026 15:53:18 +0200
Subject: [PATCH] global-functions: $RmDir: ignore "no such item"...

... as this is still racy.
---
 global-functions.rsc | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/global-functions.rsc b/global-functions.rsc
index 5134ca4e..6ea47123 100644
--- a/global-functions.rsc
+++ b/global-functions.rsc
@@ -1207,8 +1207,10 @@
   :onerror Err {
     /file/remove [ find where name=$DirName ];
   } do={
-    $LogPrint error $0 ("Removing directory '" . $DirName . "' failed: " . $Err);
-    :return false;
+    :if (!($Err ~ "no such item")) do={
+      $LogPrint error $0 ("Removing directory '" . $DirName . "' failed: " . $Err);
+      :return false;
+    }
   }
   :return true;
 }