diff --git a/frysk-core/frysk/hpd/CLI.java b/frysk-core/frysk/hpd/CLI.java index c08fb3d..61f5033 100644 --- a/frysk-core/frysk/hpd/CLI.java +++ b/frysk-core/frysk/hpd/CLI.java @@ -313,7 +313,9 @@ public class CLI { } void addMessage(Message msg) { - messages.add(msg); + synchronized (messages) { + messages.add(msg); + } } void addMessage(String msg, int type) { @@ -321,20 +323,22 @@ public class CLI { } private void flushMessages() { - for (Iterator iter = messages.iterator(); iter.hasNext();) { - Message tempmsg = (Message) iter.next(); - String prefix = null; - if (tempmsg.getType() == Message.TYPE_DBG_ERROR) - prefix = "Internal debugger error: "; - else if (tempmsg.getType() == Message.TYPE_ERROR) - prefix = "Error: "; - else if (tempmsg.getType() == Message.TYPE_WARNING) - prefix = "Warning: "; - if (prefix != null) - outWriter.print(prefix); - outWriter.println(tempmsg.getMessage()); - iter.remove(); - } + synchronized (messages) { + for (Iterator iter = messages.iterator(); iter.hasNext();) { + Message tempmsg = (Message) iter.next(); + String prefix = null; + if (tempmsg.getType() == Message.TYPE_DBG_ERROR) + prefix = "Internal debugger error: "; + else if (tempmsg.getType() == Message.TYPE_ERROR) + prefix = "Error: "; + else if (tempmsg.getType() == Message.TYPE_WARNING) + prefix = "Warning: "; + if (prefix != null) + outWriter.print(prefix); + outWriter.println(tempmsg.getMessage()); + iter.remove(); + } + } } PTSet createSet(String set) { diff --git a/frysk-core/frysk/hpd/ChangeLog b/frysk-core/frysk/hpd/ChangeLog index cb14df0..ba4301b 100644 --- a/frysk-core/frysk/hpd/ChangeLog +++ b/frysk-core/frysk/hpd/ChangeLog @@ -1,3 +1,8 @@ +2008-02-06 Phil Muldoon + + * CLI.java (addMessage): Synchronize on message. + (flushMessages): Ditto. + 2008-02-05 Andrew Cagney * GenerateCoreCommand.java: Update; corefiles moved to