diff options
Diffstat (limited to 'java/src/IceInternal/PropertyNames.java')
| -rw-r--r-- | java/src/IceInternal/PropertyNames.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/java/src/IceInternal/PropertyNames.java b/java/src/IceInternal/PropertyNames.java index 56084f023c1..f521f7f2429 100644 --- a/java/src/IceInternal/PropertyNames.java +++ b/java/src/IceInternal/PropertyNames.java @@ -8,7 +8,7 @@ // ********************************************************************** // -// Generated by makeprops.py from file ../config/PropertyNames.xml, Fri Dec 4 10:31:05 2009 +// Generated by makeprops.py from file ../config/PropertyNames.xml, Tue Dec 8 12:37:14 2009 // IMPORTANT: Do not edit this file -- any edits made here will be lost! @@ -220,6 +220,7 @@ public final class PropertyNames new Property("IceGrid\\.Node\\.DisableOnFailure", false, null), new Property("IceGrid\\.Node\\.Name", false, null), new Property("IceGrid\\.Node\\.Output", false, null), + new Property("IceGrid\\.Node\\.ProcessorSocketCount", false, null), new Property("IceGrid\\.Node\\.PrintServersReady", false, null), new Property("IceGrid\\.Node\\.PropertiesOverride", false, null), new Property("IceGrid\\.Node\\.RedirectErrToOut", false, null), |