我用以下用户更改了Jenkins配置文件，即位于C:\Program Files (x86)\Jenkins\jenkins.xml的jenkins.xml：用户时区= America / Chicago
<executable>%BASE%\jre\bin\java</executable>
<arguments>-Xrs -Xmx256m -Duser.timezone="America/Chicago"
-Dhudson.lifecycle=hudson.lifecycle.WindowsServiceLifecycle
-jar "%BASE%\jenkins.war" --httpPort=8080</arguments>
我可以看到时间更改为CDT。
我的问题是夏令时更改后，是否还需要更改时区？还是因为时区设置为America / Chicago，Jenkins会节省日光吗？
谢谢！