diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2013-08-23 09:29:56 +0200 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2013-08-26 16:11:10 +0200 |
commit | 9d5ed33ef9b503f20506dbe3e410960069a99d0a (patch) | |
tree | d9a59a5b289a9fafda3bccc0a3486c060a72009b /build.xml | |
parent | 7b351dca8458f599f5fafef4daa307351031ef06 (diff) | |
download | scala-9d5ed33ef9b503f20506dbe3e410960069a99d0a.tar.gz scala-9d5ed33ef9b503f20506dbe3e410960069a99d0a.tar.bz2 scala-9d5ed33ef9b503f20506dbe3e410960069a99d0a.zip |
SI-7775 Harden against the shifting sands of System.getProperties
If another thread writes a new system property (which can happen
in pretty innocuous code such as `new Date`!), the compiler startup
could fail with a `ConcurrentModificationException` as it iterated
all bindings in the properties map in search of a boot classpath
property for esoteric JVMs.
This commit uses `Properties#getStringProperties` to get a snapshot
of the keys that isn't backed by the live map, and iterates these
instead. That method will also limit us to bindings with String
values, which is all that we expect.
Diffstat (limited to 'build.xml')
0 files changed, 0 insertions, 0 deletions