基于openshift tools开发时，server.xml文件的修改

基于jbossews openshift tools开发时，如果需要修改server.xml 需要在本地修改后再publish才会生效。 使用putty等远程工具所作的修改，在publish时，会被本地的配置覆盖。   正确的修改位置   错误的修改位置  

>>阅读原文<<