我有一个jenkins，其中一部分存储在磁盘d中，另一部分（war part）存储在c:\programfiles（x86）\jenkins中。最后一部分是jenkins.xml文件。它有--httpport=8080值作为参数之一。但如果我把它改成8081或8090Jenkins仍然在8080端口运行后重新启动。我做错什么了吗？