Next Previous Up Contents
Next: jdbc.drivers
Up: System Properties
Previous: System Properties
java.io.tmpdir
is a standard Java system property which
is used by the "disk
" storage policy.
It determines where temporary files stored by the
PREFER_DISK
("disk
")
storage policy will be written (see Appendix A.6).
The default value is typically "/tmp
" on Unix-like platforms.
Next Previous Up Contents
Next: jdbc.drivers
Up: System Properties
Previous: System Properties
STIL - Starlink Tables Infrastructure Library
Starlink User Note
252
STIL web page:
http://www.starlink.ac.uk/stil/
Author email:
m.b.taylor@bristol.ac.uk
Starlink: http://www.starlink.ac.uk/