diff options
author | Dwayne Boone <dwayne@zeroc.com> | 2015-11-05 12:55:25 -0330 |
---|---|---|
committer | Dwayne Boone <dwayne@zeroc.com> | 2015-11-05 12:55:25 -0330 |
commit | a548114af8698b6ede6d3815ff51c9e4547cea29 (patch) | |
tree | a3bac345625ed559e3d361ddb12e0ab76f746fc5 /java/src | |
parent | IceGrid: catch LMDB exceptions on Database creation (diff) | |
download | ice-a548114af8698b6ede6d3815ff51c9e4547cea29.tar.bz2 ice-a548114af8698b6ede6d3815ff51c9e4547cea29.tar.xz ice-a548114af8698b6ede6d3815ff51c9e4547cea29.zip |
Added properties to set the database map size for IceGrid/IceStorm
Diffstat (limited to 'java/src')
-rw-r--r-- | java/src/Ice/src/main/java/IceInternal/PropertyNames.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/java/src/Ice/src/main/java/IceInternal/PropertyNames.java b/java/src/Ice/src/main/java/IceInternal/PropertyNames.java index 133aa00bd26..401fc14ae66 100644 --- a/java/src/Ice/src/main/java/IceInternal/PropertyNames.java +++ b/java/src/Ice/src/main/java/IceInternal/PropertyNames.java @@ -6,7 +6,7 @@ // ICE_LICENSE file included in this distribution. // // ********************************************************************** -// Generated by makeprops.py from file ../config/PropertyNames.xml, Fri Oct 30 11:31:45 2015 +// Generated by makeprops.py from file ../config/PropertyNames.xml, Thu Nov 5 12:25:50 2015 // IMPORTANT: Do not edit this file -- any edits made here will be lost! @@ -789,6 +789,7 @@ public final class PropertyNames new Property("IceGrid\\.Registry\\.Internal\\.ThreadPool\\.ThreadIdleTime", false, null), new Property("IceGrid\\.Registry\\.Internal\\.ThreadPool\\.ThreadPriority", false, null), new Property("IceGrid\\.Registry\\.Internal\\.MessageSizeMax", false, null), + new Property("IceGrid\\.Registry\\.LMDB\\.MapSize", false, null), new Property("IceGrid\\.Registry\\.NodeSessionTimeout", false, null), new Property("IceGrid\\.Registry\\.PermissionsVerifier\\.EndpointSelection", false, null), new Property("IceGrid\\.Registry\\.PermissionsVerifier\\.ConnectionCached", false, null), |