diff options
Diffstat (limited to 'java/src')
| -rw-r--r-- | java/src/IceGridGUI/Coordinator.java | 14 | ||||
| -rw-r--r-- | java/src/IceGridGUI/SessionKeeper.java | 8 |
2 files changed, 19 insertions, 3 deletions
diff --git a/java/src/IceGridGUI/Coordinator.java b/java/src/IceGridGUI/Coordinator.java index edc20274d33..b74bdc52d19 100644 --- a/java/src/IceGridGUI/Coordinator.java +++ b/java/src/IceGridGUI/Coordinator.java @@ -1766,7 +1766,12 @@ public class Coordinator { str += "tcp"; } - str += " -h " + info.getHost() + " -p " + info.getPort(); + String host = info.getHost(); + if(host.indexOf('"') == -1) + { + host = "\"" + host + "\""; + } + str += " -h " + host + " -p " + info.getPort(); } else { @@ -1987,7 +1992,12 @@ public class Coordinator { str += "tcp"; } - str += " -h " + info.getHost() + " -p " + info.getPort(); + String host = info.getHost(); + if(host.indexOf('"') == -1) + { + host = "\"" + host + "\""; + } + str += " -h " + host + " -p " + info.getPort(); } else { diff --git a/java/src/IceGridGUI/SessionKeeper.java b/java/src/IceGridGUI/SessionKeeper.java index f1b78e1b6b9..12c4a2df2b7 100644 --- a/java/src/IceGridGUI/SessionKeeper.java +++ b/java/src/IceGridGUI/SessionKeeper.java @@ -543,7 +543,13 @@ public class SessionKeeper { name += "tcp"; } - name += " -h " + getHost() + " -p " + Integer.toString(getPort()); + String host = getHost(); + if(host.indexOf('"') == -1) + { + host = "\"" + host + "\""; + } + + name += " -h " + host + " -p " + Integer.toString(getPort()); } else { |