# HG changeset patch # User raimund renkert # Date 1312815977 -7200 # Node ID e672f5134d6e59013c778bc5ca90a922417e3e67 # Parent 4f6356a908e13670ef3ae1c2904153ae7d52dc90 Remove all non numeric chars from port string. diff -r 4f6356a908e1 -r e672f5134d6e ChangeLog --- a/ChangeLog Fri Aug 05 10:03:56 2011 +0200 +++ b/ChangeLog Mon Aug 08 17:06:17 2011 +0200 @@ -1,3 +1,8 @@ +2011-08-08 Raimund Renkert + + * src/java/de/intevation/mxd/writer/MapScriptWriter.java: + Remove all non numeric chars from port string. + 2011-07-22 Stephan Holl * website/download-de.htm4, website/index.htm4: repaired broken diff -r 4f6356a908e1 -r e672f5134d6e src/java/de/intevation/mxd/writer/MapScriptWriter.java --- a/src/java/de/intevation/mxd/writer/MapScriptWriter.java Fri Aug 05 10:03:56 2011 +0200 +++ b/src/java/de/intevation/mxd/writer/MapScriptWriter.java Mon Aug 08 17:06:17 2011 +0200 @@ -281,9 +281,22 @@ " Setting to \"sde\" as default."); database_auth = "sde"; } + + String port = layerElement.getAttribute("instance"); + StringBuffer strBuff = new StringBuffer(); + char c; + + for (int j = 0; j < port.length() ; j++) { + c = port.charAt(j); + + if(Character.isDigit(c)) { + strBuff.append(c); + } + } + layer.setConnection( layerElement.getAttribute("server") + "," + - "port:" + layerElement.getAttribute("instance") + "," + + "port:" + strBuff.toString() + "," + database_auth + "," + layerElement.getAttribute("user") + ","); layer.setData(