Fix #4132 freeze when deleting a directory and some children (race condition)

jEdit is a programmer's text editor written in Java.

Brought to you by: daleanson, ezust, grepppo, k_satoda, and 5 others

#633 Fix #4132 freeze when deleting a directory and some children (race condition)

Milestone: None

Status: closed-accepted

Owner: Eric Le Lay

Labels: None

Priority: 5

Updated: 2024-04-02

Created: 2024-02-27

Creator: Eric Le Lay

Private: No

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

1 Attachments

fix-4132.patch

Discussion

Eric Le Lay - 2024-04-02

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: -->
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Eric Le Lay - 2024-04-02

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

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Eric Le Lay - 2024-04-02

status: open --> closed-accepted

assigned_to: Eric Le Lay
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Eric Le Lay - 2024-04-02

committed in r25716

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Log in to post a comment.