src/Tools/jEdit/patches/vfs_manager
author wenzelm
Sun Feb 24 12:49:32 2019 +0100 (2 months ago ago)
changeset 70019 4419d4d675c3
parent 69711 9fd395ff57bc
permissions -rw-r--r--
formal update of patches -- no change of content;
wenzelm@69711
     1
diff -ru 5.5.0/jEdit/org/gjt/sp/jedit/io/VFSManager.java 5.5.0/jEdit-patched/org/gjt/sp/jedit/io/VFSManager.java
wenzelm@69711
     2
--- 5.5.0/jEdit/org/gjt/sp/jedit/io/VFSManager.java	2018-04-09 01:57:13.000000000 +0200
wenzelm@70019
     3
+++ 5.5.0/jEdit-patched/org/gjt/sp/jedit/io/VFSManager.java	2019-02-24 12:21:25.986736893 +0100
wenzelm@69711
     4
@@ -345,6 +345,18 @@
wenzelm@69711
     5
 
wenzelm@69711
     6
 				if(vfsUpdates.size() == 1)
wenzelm@69711
     7
 				{
wenzelm@69711
     8
+					// slowdown race concerning Buffer.isLoading() status
wenzelm@69711
     9
+					// of Buffer.save() + Buffer.finishSaving()
wenzelm@69711
    10
+					// versus Buffer.load() + "runnable"
wenzelm@69711
    11
+					try
wenzelm@69711
    12
+					{
wenzelm@69711
    13
+						Thread.sleep(100);
wenzelm@69711
    14
+					}
wenzelm@69711
    15
+					catch(InterruptedException ie)
wenzelm@69711
    16
+					{
wenzelm@69711
    17
+						Thread.currentThread().interrupt();
wenzelm@69711
    18
+					}
wenzelm@69711
    19
+
wenzelm@69711
    20
 					// we were the first to add an update;
wenzelm@69711
    21
 					// add update sending runnable to AWT
wenzelm@69711
    22
 					// thread