-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Igal,
On 3/15/19 16:45, Igal Sapir wrote:
> On Fri, Mar 15, 2019 at 9:45 AM Konstantin Kolinko
> <knst.koli...@gmail.com> wrote:
>
>> чт, 14 мар. 2019 г. в 22:26, Igal Sapir <isa...@apache.org>:
>> <snip/> What is the use case? People verifying a release? CI
>> servers that may have different hardware?
>>
>
> The idea was more for testing new releases. On my laptop setting
> test.threads to 8 completes in about 10 minutes, while the default
> 1 thread takes more than 1 hour.
>
> I looked deeper into build.xml and I found some interesting
> information and a simple solution for my issue. In build.xml we
> have the following:
>
> <property file="${user.home}/build.properties"/> <property
> file="build.properties"/> <property
> file="build.properties.default"/>
>
> So I can place my settings for test.threads in ~/build.properties.
>
> The current order of precedence, however, gives
> ${user.home}/build.properties a higher priority than the one at
> {tomcat}/build.properties.
>
> That is wrong IMHO and should be the other way around, i.e.
> {tomcat}/build.properties should
> override${user.home}/build.properties . I would like to change
> that order if everyone agrees.
I do not agree. The local configuration (~/build.properties) should
override the default configuration (build.properties). That's why it's
called "local configuration".
Besides, if you implement your proposed switch, then you will be
UNABLE to use ~/build.properties to customize this configuration that
you don't like.
> I added an ant target, echoproperties [1], which outputs the
> merged properties so it's easy to see the final values.
You can also add -debug to the command-line and get the properties.
- -chris
-----BEGIN PGP SIGNATURE-----
Comment: Using GnuPG with Thunderbird - https://www.enigmail.net/
iQIzBAEBCAAdFiEEMmKgYcQvxMe7tcJcHPApP6U8pFgFAlyMO7QACgkQHPApP6U8
pFiElQ//YAxkI061TxrzcCb+Mht4/qJ7xMUQ4uVOY4/BGMehHqMjwudlOEB0jtjl
1HaDVjyiMiIgKq8Ss1y1g5I9aNzxA8+Uq+Efj82GmT4UVloSHpClhJAiO3+BUM2w
HsWdpwFyNFjjy0e/nt01yoCIl4NumKCFZ+AM6sSt/PVhI9gJ0JOx64PZeyZyjHjU
1X7oo4brjUgrw9ulzPfEHByjpHAfxD8SinGV1QKVToggVrDR3mrUrUtlkVDWOsj4
S6vJyM2W5tz4+AP+hi/EG0ck+ZlMwpw2x6K6i38CglaoFeKPQeQJWdPk+wPpJl4t
ZkmdnxFlDFRvIlir/Xn5zswkURZFMjGqJhfplqhN/dQ4B2ICuYth/wnX/HBXBjkd
NEHNtnLgtKMVobu8u1Hd76S/EhfDuVOlA3FaAp0n+67a90Pnboo0Ih5/fKl8ADXI
+yR7Dc8ZumhNfAZFSi3QNeasP3zXNYHVRNOSKEMtxhWyaVODB/EkMdDo3c6Lxh23
BzBJ6gI0Hzx/n5dos35QKGHZlZCE2yng4VFJ6rBWRG529nq0QL9npvkEWWciKn6d
GaLEJ1nsfZfui1jGBeYWBtQV33qEpTBxDu9tGXt8cD1ECtT7IgzmmmWCcE8VqGTE
z5Twj3PS+AYW98aHfKmItwI5mUTgib6Cwjb4k88JxwRQY2+9JEQ=
=hZhA
-----END PGP SIGNATURE-----
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org
For additional commands, e-mail: dev-h...@tomcat.apache.org
