修改Tomcat端口号

好久没用eclipse开发Web项目了，心血来潮想修改下Tomcat端口号，原以为eclipse会跟myeclipse一样，只需在本地Tomcat所在路径的server.xml中的port的值改了就行，没想到在eclipse中无效！结果最后的最后，百度人家说要在eclipse中的Tomcat的server.xml中去修改才可以，因为自从在eclipse中添加了Tomcat后，eclipse将Tomcat的所有文件都存放在Servers中，使用的也是eclipse中的Tomcat了，对于本地的Tomcat似乎没关系了，故需要修改的是eclipse中的server.xml，而不是本地的配置文件。