mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-07-29 20:05:35 +02:00
[167071] use telnet ports that cannot be mapped verbatim
This commit is contained in:
parent
98faf558cb
commit
2629b26966
1 changed files with 13 additions and 9 deletions
|
@ -64,6 +64,7 @@ public class TelnetSettingsPage implements ISettingsPage {
|
||||||
|
|
||||||
}
|
}
|
||||||
private void setNetworkPort(String strNetworkPort) {
|
private void setNetworkPort(String strNetworkPort) {
|
||||||
|
if (strNetworkPort!=null) {
|
||||||
String strPortName = getNetworkPortMap().findPortName(strNetworkPort);
|
String strPortName = getNetworkPortMap().findPortName(strNetworkPort);
|
||||||
if(strPortName==null)
|
if(strPortName==null)
|
||||||
strPortName=""; //$NON-NLS-1$
|
strPortName=""; //$NON-NLS-1$
|
||||||
|
@ -75,8 +76,11 @@ public class TelnetSettingsPage implements ISettingsPage {
|
||||||
fNetworkPortCombo.select(nIndex);
|
fNetworkPortCombo.select(nIndex);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
}
|
||||||
private String getNetworkPort() {
|
private String getNetworkPort() {
|
||||||
return getNetworkPortMap().findPort(fNetworkPortCombo.getText());
|
String portText = fNetworkPortCombo.getText();
|
||||||
|
String mappedPort = getNetworkPortMap().findPort(portText);
|
||||||
|
return mappedPort!=null ? mappedPort : portText;
|
||||||
}
|
}
|
||||||
private NetworkPortMap getNetworkPortMap() {
|
private NetworkPortMap getNetworkPortMap() {
|
||||||
return fTerminalSettings.getProperties().getNetworkPortMap();
|
return fTerminalSettings.getProperties().getNetworkPortMap();
|
||||||
|
|
Loading…
Add table
Reference in a new issue