看一下我的蚂蚁脚本的以下部分:
<tstamp>
<format property="SHORT_DAY" pattern="d MMM yyyy"/>
<format property="SHORT_DAY_FORMATTED" pattern="d MMM yyyy"/>
</tstamp>
<echo message="${SHORT_DAY}"/>
<echo message="${SHORT_DAY_FORMATTED}"/>
今天是2013年1月4日,所以我希望输出为:
[echo] 4 Jan 2013
[echo] 4 Jan, 2013
但事实并非如此。我得到的是:
[echo] 04 Jan 2013
[echo] 4 Jan, 2013
注意第一个回声中的前导0。出于某种原因,蚂蚁总是以前导零打印它。两个属性之间的唯一区别是月份和年份之间有一个逗号。
有谁知道这是怎么回事,更重要的是,如何阻止领先0?
Ant版本是1.7.0
答案 0 :(得分:0)
事实证明我之前在ant文件中定义了SHORT_DAY(是的,它是一个大文件!)
<format property="SHORT_DAY" pattern="dd MMM yyyy"/>
由于ANT不允许你覆盖属性,我的第二个定义(我期望使用的定义)被忽略了。
将其归结为另一个人为错误案例:(