diff options
author | Eugene Tarassov | 2013-11-26 20:22:00 +0000 |
---|---|---|
committer | Eugene Tarassov | 2013-11-26 20:22:00 +0000 |
commit | 79e63f0d28123bb3b7e18af1fa1c570bc3dc10ed (patch) | |
tree | 3332aacdbb609ca3ebf79ebfd74027b154a732d7 /plugins | |
parent | be73191188ca3d2783817efffe1024225d2c2612 (diff) | |
download | org.eclipse.tcf-79e63f0d28123bb3b7e18af1fa1c570bc3dc10ed.tar.gz org.eclipse.tcf-79e63f0d28123bb3b7e18af1fa1c570bc3dc10ed.tar.xz org.eclipse.tcf-79e63f0d28123bb3b7e18af1fa1c570bc3dc10ed.zip |
TCF Core: fixed: when a channel is terminated, pending command should be aborted in same order as they were sent
Diffstat (limited to 'plugins')
-rw-r--r-- | plugins/org.eclipse.tcf.core/src/org/eclipse/tcf/core/AbstractChannel.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/plugins/org.eclipse.tcf.core/src/org/eclipse/tcf/core/AbstractChannel.java b/plugins/org.eclipse.tcf.core/src/org/eclipse/tcf/core/AbstractChannel.java index 33a930fc9..19d10c8c3 100644 --- a/plugins/org.eclipse.tcf.core/src/org/eclipse/tcf/core/AbstractChannel.java +++ b/plugins/org.eclipse.tcf.core/src/org/eclipse/tcf/core/AbstractChannel.java @@ -14,6 +14,7 @@ import java.io.IOException; import java.util.ArrayList; import java.util.Collection; import java.util.HashMap; +import java.util.LinkedHashMap; import java.util.LinkedList; import java.util.Map; @@ -125,7 +126,7 @@ public abstract class AbstractChannel implements IChannel { private final Collection<IChannelListener> channel_listeners = new ArrayList<IChannelListener>(); private final Map<String,IChannel.IEventListener[]> event_listeners = new HashMap<String,IChannel.IEventListener[]>(); private final Map<String,IChannel.ICommandServer> command_servers = new HashMap<String,IChannel.ICommandServer>(); - private final Map<String,Message> out_tokens = new HashMap<String,Message>(); + private final Map<String,Message> out_tokens = new LinkedHashMap<String,Message>(); private final Thread inp_thread; private final Thread out_thread; private boolean notifying_channel_opened; |