[Patch #176] java.io.File should use "java.io.tmpdir" system property, no

[nobody]

Patch #176 has been updated. 

Project: 
Category: None
Status: Closed
Summary: java.io.File should use "java.io.tmpdir" system property, no

Follow-Ups:

Date: 2002-Mar-04 22:50
By: mark

Comment:
Thanks. Patch applied plus a hack to java/lang/System.java to set 
java.io.tmpdir from java.tmp so old systems like Orp keep on working.
-------------------------------------------------------

-------------------------------------------------------
For more info, visit:

http://savannah.gnu.org/patch/?func=detailpatch&patch_id=176&group_id=85