diff options
Diffstat (limited to 'js/src')
| -rw-r--r-- | js/src/Ice/PropertyNames.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/js/src/Ice/PropertyNames.js b/js/src/Ice/PropertyNames.js index 239ea768e29..ff6f7052e08 100644 --- a/js/src/Ice/PropertyNames.js +++ b/js/src/Ice/PropertyNames.js @@ -6,7 +6,7 @@ // ICE_LICENSE file included in this distribution. // // ********************************************************************** -// Generated by makeprops.py from file ../config/PropertyNames.xml, Thu Sep 25 17:13:47 2014 +// Generated by makeprops.py from file ./config/PropertyNames.xml, Mon Sep 29 09:49:33 2014 // IMPORTANT: Do not edit this file -- any edits made here will be lost! @@ -186,7 +186,7 @@ PropertyNames.IceProps = new Property("/^Ice\.Warn\.UnknownProperties/", false, null), new Property("/^Ice\.Warn\.UnusedProperties/", false, null), new Property("/^Ice\.CacheMessageBuffers/", false, null), - new Property("/^Ice\.BackgroundIO/", false, null), + new Property("/^Ice\.ThreadInterruptSafe/", false, null), ]; /* jshint +W044*/ |