java.io.File and properties

[Michael Koch]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi list,


I have question: java.io.File initializes a static variable called 
tmpdir at class initialization with the value of the property 
"java.io.tmpdir". If an app changes the value of this property after 
java.io.File.tmpdir has been initialized java.io.File will use the 
old value.

Should we better change this to use the current value of this property 
each time its needed directly ?

I ask because classpath's java.io.File does access the property each 
time it needs its value.


Michael
- -- 
Homepage: http://www.worldforge.org/
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.1 (GNU/Linux)

iD8DBQE+utL5WSOgCCdjSDsRAsTFAJ977tWVJIqHvm/UTdfw3DMvYn4UFwCeJMDH
f55GeFkD9YZAUi8fEscRuJU=
=QVd5
-----END PGP SIGNATURE-----