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

[Eric Le L. <ker...@us...>]

- **status**: open --> closed-accepted
- **assigned_to**: Eric Le Lay
- **Comment**:

committed in r25716



---

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

**Status:** closed-accepted
**Group:** 
**Created:** Tue Feb 27, 2024 08:16 PM UTC by Eric Le Lay
**Last Updated:** Tue Apr 02, 2024 05:04 PM UTC
**Owner:** Eric Le Lay
**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 jed...@li... 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.