[jedit:patches] #633 Fix #4132 freeze when deleting a directory and some children (race condition)
Eric Le Lay via jEdit-devel <[email protected]> Tue, 02 Apr 2024 17:09:54 -0000
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | </p/jedit/patches/633/9f5d689c630f00519d97fad477d443282581da21.patches@jedit.p.sourceforge.net> |
- **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 [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