[jedit:patches] #633 Fix #4132 freeze when deleting a directory and some children (race condition)

- Attachments has changed:

Diff:

~~~~

--- old
+++ new
@@ -1 +1 @@
-fix-4132.patch (405 Bytes; text/x-patch)
+fix-4132.patch (404 Bytes; text/x-patch)

~~~~

- **Group**:  --> 
- **Comment**:

an extra A was in the diff!
Running with it for a month with no issue: I'm going to commit it.



---

**[patches:#633] Fix #4132 freeze when deleting a directory and some children (race condition)**

**Status:** open
**Group:** 
**Created:** Tue Feb 27, 2024 08:16 PM UTC by Eric Le Lay
**Last Updated:** Tue Feb 27, 2024 08:16 PM UTC
**Owner:** nobody
**Attachments:**

- [fix-4132.patch](https://sourceforge.net/p/jedit/patches/633/attachment/fix-4132.patch) (404 Bytes; text/x-patch)


Here is the one-line fix.
What do you think?


---

Sent from sourceforge.net because [email protected] is subscribed to https://sourceforge.net/p/jedit/patches/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/patches/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

-- 
-----------------------------------------------
jEdit Developers' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-devel