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