# HG changeset patch
# User wenzelm
# Date 1283100948 -7200
# Node ID 57043221eb439670abb2e22386d597461ba91f32
# Parent  e54c33dbe77ca6b41166e490f06e958633be0c47
Swing_Thread.now: volatile result to make double-sure;

diff -r e54c33dbe77c -r 57043221eb43 src/Pure/System/swing_thread.scala
--- a/src/Pure/System/swing_thread.scala	Sun Aug 29 15:57:18 2010 +0200
+++ b/src/Pure/System/swing_thread.scala	Sun Aug 29 18:55:48 2010 +0200
@@ -23,7 +23,7 @@
 
   def now[A](body: => A): A =
   {
-    var result: Option[A] = None
+    @volatile var result: Option[A] = None
     if (SwingUtilities.isEventDispatchThread()) { result = Some(body) }
     else SwingUtilities.invokeAndWait(new Runnable { def run = { result = Some(body) } })
     result.get