[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Patch #176] java.io.File should use "java.io.tmpdir" system property, n
From: |
nobody |
Subject: |
[Patch #176] java.io.File should use "java.io.tmpdir" system property, no |
Date: |
Mon, 04 Mar 2002 16:50:56 -0500 |
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Patch #176] java.io.File should use "java.io.tmpdir" system property, no,
nobody <=