diff options
Diffstat (limited to 'java/src/IceGridGUI/Coordinator.java')
| -rw-r--r-- | java/src/IceGridGUI/Coordinator.java | 14 |
1 files changed, 12 insertions, 2 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 { |