mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-07-08 17:45:24 +02:00
[167071] use telnet ports that cannot be mapped verbatim
This commit is contained in:
parent
f5e7dae7ac
commit
89994e4eb2
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