Skip to content
[Jenkins]Jenkins
log in

Changes

Summary

  1. Ice Grid: set java.io.tmpdir to var/tmp for Java servers (details)
  2. Add version.properties to etc/omero.properties (details)
Commit 2c0a18da0bcb5af220194d88f38e555faf3168d8 by sbesson
Ice Grid: set java.io.tmpdir to var/tmp for Java servers

Create var/tmp directory at build time
Define OMERO_TMP variable in the Ice Grid default configuration
Use OMERO_TMP as the value of `-Djava.io.tmpdir` in Java services
(Blitz, Indexer, Repository, PixelData)
The file was modified etc/templates/grid/templates.xml (diff)
The file was modified build.xml (diff)
The file was modified etc/templates/grid/default.xml (diff)
Commit 3378aa0ee5705189919fa80a02cf24bc42b42333 by snoopycrimecop
Add version.properties to etc/omero.properties
The file was modified etc/omero.properties (diff)