diff options
author | eutarass | 2011-04-11 22:08:25 +0000 |
---|---|---|
committer | eutarass | 2011-04-11 22:08:25 +0000 |
commit | e822695fc5603fa20e743416f0060c0094123f4c (patch) | |
tree | d4a9941175286e3ec1f895b5bb6cad52509e8a03 /plugins/org.eclipse.tm.tcf.debug/src/org/eclipse/tm/internal/tcf/debug/model/TCFLaunch.java | |
parent | 343ea84b6f0ae035233c2b8ba926393445b75f57 (diff) | |
download | org.eclipse.tcf-e822695fc5603fa20e743416f0060c0094123f4c.tar.gz org.eclipse.tcf-e822695fc5603fa20e743416f0060c0094123f4c.tar.xz org.eclipse.tcf-e822695fc5603fa20e743416f0060c0094123f4c.zip |
TCF Debugger: added agent name to launch node label in Debug view
Diffstat (limited to 'plugins/org.eclipse.tm.tcf.debug/src/org/eclipse/tm/internal/tcf/debug/model/TCFLaunch.java')
-rw-r--r-- | plugins/org.eclipse.tm.tcf.debug/src/org/eclipse/tm/internal/tcf/debug/model/TCFLaunch.java | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/plugins/org.eclipse.tm.tcf.debug/src/org/eclipse/tm/internal/tcf/debug/model/TCFLaunch.java b/plugins/org.eclipse.tm.tcf.debug/src/org/eclipse/tm/internal/tcf/debug/model/TCFLaunch.java index 4067d5d61..980e87647 100644 --- a/plugins/org.eclipse.tm.tcf.debug/src/org/eclipse/tm/internal/tcf/debug/model/TCFLaunch.java +++ b/plugins/org.eclipse.tm.tcf.debug/src/org/eclipse/tm/internal/tcf/debug/model/TCFLaunch.java @@ -121,6 +121,8 @@ public class TCFLaunch extends Launch { private long actions_timestamp; private long actions_interval = 125; + private String peer_name; + private Runnable update_memory_maps; private ProcessContext process; @@ -920,6 +922,11 @@ public class TCFLaunch extends Launch { return channel.getRemotePeer(); } + public String getPeerName() { + // Safe to call from any thread. + return peer_name; + } + public <V extends IService> V getService(Class<V> cls) { assert Protocol.isDispatchThread(); return channel.getRemoteService(cls); @@ -1025,11 +1032,13 @@ public class TCFLaunch extends Launch { String id0 = redirection_path.removeFirst(); IPeer peer = Protocol.getLocator().getPeers().get(id0); if (peer == null) throw new Exception("Cannot locate peer " + id0); + peer_name = peer.getName(); channel = peer.openChannel(); channel.addChannelListener(new IChannel.IChannelListener() { public void onChannelOpened() { try { + peer_name = getPeer().getName(); onConnected(); } catch (Throwable x) { |