1 files changed, 102 insertions, 0 deletions
diff --git a/js/src/Ice/DefaultsAndOverrides.js b/js/src/Ice/DefaultsAndOverrides.js
new file mode 100644
index 00000000000..94da3a723c7
--- /dev/null
+++ b/js/src/Ice/DefaultsAndOverrides.js
@@ -0,0 +1,102 @@
+// **********************************************************************
+//
+// Copyright (c) 2003-2014 ZeroC, Inc. All rights reserved.
+//
+// This copy of Ice is licensed to you under the terms described in the
+// ICE_LICENSE file included in this distribution.
+//
+// **********************************************************************
+
+(function(global){
+    require("Ice/FormatType");
+    require("Ice/EndpointTypes");
+    require("Ice/Protocol");
+    require("Ice/LocalException");
+    
+    var Ice = global.Ice || {};
+    
+    var FormatType = Ice.FormatType;
+    var EndpointSelectionType = Ice.EndpointSelectionType;
+    var Protocol = Ice.Protocol;
+
+    var DefaultsAndOverrides = function(properties)
+    {
+        var value;
+        
+        this.defaultProtocol = properties.getPropertyWithDefault("Ice.Default.Protocol", 
+                                                                 Ice.TcpEndpointFactory !== undefined ? "tcp" : "ws");
+
+        value = properties.getProperty("Ice.Default.Host");
+        this.defaultHost = value.length > 0 ? value : null;
+
+        value = properties.getProperty("Ice.Override.Timeout");
+        if(value.length > 0)
+        {
+            this.overrideTimeout = true;
+            this.overrideTimeoutValue = properties.getPropertyAsInt("Ice.Override.Timeout");
+        }
+        else
+        {
+            this.overrideTimeout = false;
+            this.overrideTimeoutValue = -1;
+        }
+
+        value = properties.getProperty("Ice.Override.ConnectTimeout");
+        if(value.length > 0)
+        {
+            this.overrideConnectTimeout = true;
+            this.overrideConnectTimeoutValue = properties.getPropertyAsInt("Ice.Override.ConnectTimeout");
+        }
+        else
+        {
+            this.overrideConnectTimeout = false;
+            this.overrideConnectTimeoutValue = -1;
+        }
+
+        value = properties.getProperty("Ice.Override.CloseTimeout");
+        if(value.length > 0)
+        {
+            this.overrideCloseTimeout = true;
+            this.overrideCloseTimeoutValue = properties.getPropertyAsInt("Ice.Override.CloseTimeout");
+        }
+        else
+        {
+            this.overrideCloseTimeout = false;
+            this.overrideCloseTimeoutValue = -1;
+        }
+
+        this.overrideCompress = false;
+        this.overrideSecure = false;
+
+        value = properties.getPropertyWithDefault("Ice.Default.EndpointSelection", "Random");
+        if(value === "Random")
+        {
+            this.defaultEndpointSelection = EndpointSelectionType.Random;
+        }
+        else if(value === "Ordered")
+        {
+            this.defaultEndpointSelection = EndpointSelectionType.Ordered;
+        }
+        else
+        {
+            var ex = new Ice.EndpointSelectionTypeParseException();
+            ex.str = "illegal value `" + value + "'; expected `Random' or `Ordered'";
+            throw ex;
+        }
+
+        this.defaultLocatorCacheTimeout = properties.getPropertyAsIntWithDefault("Ice.Default.LocatorCacheTimeout", -1);
+
+        this.defaultPreferSecure = properties.getPropertyAsIntWithDefault("Ice.Default.PreferSecure", 0) > 0;
+
+        value = properties.getPropertyWithDefault("Ice.Default.EncodingVersion",
+                                                  Ice.encodingVersionToString(Protocol.currentEncoding));
+        this.defaultEncoding = Ice.stringToEncodingVersion(value);
+        Protocol.checkSupportedEncoding(this.defaultEncoding);
+
+        var slicedFormat = properties.getPropertyAsIntWithDefault("Ice.Default.SlicedFormat", 0) > 0;
+        this.defaultFormat = slicedFormat ? FormatType.SlicedFormat : FormatType.CompactFormat;
+    };
+
+    Ice.DefaultsAndOverrides = DefaultsAndOverrides;
+    global.Ice = Ice;
+}(typeof (global) === "undefined" ? window : global));