[ jEdit-commits ] SF.net SVN: jedit:[25716] jEdit/trunk

[<ker...@us...>]

Revision: 25716
          http://sourceforge.net/p/jedit/svn/25716
Author:   kerik-sf
Date:     2024-04-02 17:09:26 +0000 (Tue, 02 Apr 2024)
Log Message:
-----------
Fix #4132 freeze when deleting a directory and some children (race condition)

See https://sourceforge.net/p/jedit/patches/633/

Modified Paths:
--------------
    jEdit/trunk/doc/CHANGES.txt
    jEdit/trunk/org/gjt/sp/jedit/io/VFSManager.java

Modified: jEdit/trunk/doc/CHANGES.txt
===================================================================
--- jEdit/trunk/doc/CHANGES.txt	2024-03-31 23:12:35 UTC (rev 25715)
+++ jEdit/trunk/doc/CHANGES.txt	2024-04-02 17:09:26 UTC (rev 25716)
@@ -35,6 +35,9 @@
 - Delete at the end of the line does not delete newline on java20, java21
   (#4125 - Eric Le Lay)
 
+- Freeze when deleting a directory and some children (race condition)
+  (#4132 - Eric Le Lay)
+
 }}}
 {{{ Miscellaneous
 

Modified: jEdit/trunk/org/gjt/sp/jedit/io/VFSManager.java
===================================================================
--- jEdit/trunk/org/gjt/sp/jedit/io/VFSManager.java	2024-03-31 23:12:35 UTC (rev 25715)
+++ jEdit/trunk/org/gjt/sp/jedit/io/VFSManager.java	2024-04-02 17:09:26 UTC (rev 25716)
@@ -297,7 +297,7 @@
 				}
 			}
 		};
-		ThreadUtilities.runInDispatchThreadAndWait(r);
+		ThreadUtilities.runInDispatchThread(r);
 	} //}}}
 
 	//{{{ sendVFSUpdate() method

This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.