Files
CatServer/patches/net/minecraft/server/gui/MinecraftServerGui.java.patch
2019-02-24 22:29:41 +08:00

25 lines
876 B
Diff

--- ../src-base/minecraft/net/minecraft/server/gui/MinecraftServerGui.java
+++ ../src-work/minecraft/net/minecraft/server/gui/MinecraftServerGui.java
@@ -77,6 +77,7 @@
System.exit(0);
}
});
+ minecraftservergui.latch.countDown();
}
public MinecraftServerGui(DedicatedServer serverIn)
@@ -161,8 +162,13 @@
return jpanel;
}
+ private java.util.concurrent.CountDownLatch latch = new java.util.concurrent.CountDownLatch(1);
public void appendLine(final JTextArea textArea, final JScrollPane scrollPane, final String line)
{
+ try
+ {
+ latch.await();
+ } catch (InterruptedException e){} //Prevent logging until after constructor has ended.
if (!SwingUtilities.isEventDispatchThread())
{
SwingUtilities.invokeLater(new Runnable()