[jbosstools-issues] [JBoss JIRA] (JBIDE-15371) when port-offset is "0" and modifications are done to servers the xml is persisted incorrectly and the port-offset is not writen

[thiago andrade (JIRA)]

thiago andrade created JBIDE-15371:
--------------------------------------

             Summary: when port-offset is "0" and modifications are done to servers the xml is persisted incorrectly and the port-offset is not writen 
                 Key: JBIDE-15371
                 URL: https://issues.jboss.org/browse/JBIDE-15371
             Project: Tools (JBoss Tools)
          Issue Type: Bug
    Affects Versions: 4.1.0.Final
            Reporter: thiago andrade




--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: http://www.atlassian.com/software/jira