Next Previous Up Contents
Next: java.util.concurrent.ForkJoinPool.common.parallelism
Up: System Properties
Previous: System Properties


A.1 java.io.tmpdir

java.io.tmpdir is a standard Java system property which is used by the disk-based storage policies. It determines where the JVM writes temporary files, including those written by these storage policies (see Section 4 and Appendix A.8). The default value is typically "/tmp" on Unix-like platforms.


Next Previous Up Contents
Next: java.util.concurrent.ForkJoinPool.common.parallelism
Up: System Properties
Previous: System Properties

STIL - Starlink Tables Infrastructure Library
Starlink User Note252
STIL web page: http://www.starlink.ac.uk/stil/
Author email: m.b.taylor@bristol.ac.uk