1 files changed, 175 insertions, 0 deletions
diff --git a/java/src/Ice/PropertiesI.java b/java/src/Ice/PropertiesI.java
new file mode 100644
index 00000000000..8a506ef4171
--- /dev/null
+++ b/java/src/Ice/PropertiesI.java
@@ -0,0 +1,175 @@
+// **********************************************************************
+//
+// Copyright (c) 2001
+// MutableRealms, Inc.
+// Huntsville, AL, USA
+//
+// All Rights Reserved
+//
+// **********************************************************************
+
+package Ice;
+
+class PropertiesI implements Properties
+{
+    public String
+    getProperty(String key)
+    {
+        String result = (String)_properties.get(key);
+        if (result == null)
+        {
+            result = System.getProperty(key);
+        }
+        return result;
+    }
+
+    public void
+    setProperty(String key, String value)
+    {
+        _properties.put(key, value);
+    }
+
+    public Properties
+    _clone()
+    {
+        PropertiesI p = new PropertiesI(new String[0]);
+        p._properties.putAll(_properties);
+        return p;
+    }
+
+    PropertiesI(String[] args)
+    {
+        for (int i = 0; i < args.length; i++)
+        {
+            if (args[i].startsWith("--Ice.Config"))
+            {
+                String line = args[i];
+                if (line.indexOf('=') == -1)
+                {
+                    line += "=1";
+                }
+                parseLine(line.substring(2));
+            }
+        }
+
+        String file = getProperty("Ice.Config");
+
+        if (file == null || file.equals("1"))
+        {
+            file = "";
+        }
+
+        if (file.length() > 0)
+        {
+            load(file);
+        }
+
+        parseArgs(args);
+        setProperty("Ice.Config", file);
+    }
+
+    PropertiesI(String[] args, String file)
+    {
+        if (file == null)
+        {
+            file = "";
+        }
+
+        if (file.length() > 0)
+        {
+            load(file);
+        }
+
+        parseArgs(args);
+        setProperty("Ice.Config", file);
+    }
+
+    private void
+    parseArgs(String[] args)
+    {
+        int idx = 0;
+        while (idx < args.length)
+        {
+            if (args[idx].startsWith("--Ice."))
+            {
+                String line = args[idx];
+                if (line.indexOf('=') == -1)
+                {
+                    line += "=1";
+                }
+
+                parseLine(line.substring(2));
+            }
+            else
+            {
+                idx++;
+            }
+        }
+    }
+
+    private void
+    load(String file)
+    {
+        try
+        {
+            java.io.FileReader fr = new java.io.FileReader(file);
+            java.io.BufferedReader br = new java.io.BufferedReader(br);
+            parse(br);
+        }
+        catch (java.io.IOException ex)
+        {
+            SystemException ex = new SystemException();
+            ex.initCause(ex); // Exception chaining
+            throw ex;
+        }
+    }
+
+    private void
+    parse(java.io.BufferedReader in)
+    {
+        String line;
+        while ((line = in.readLine()) != null)
+        {
+            parseLine(line);
+        }
+    }
+
+    private void
+    parseLine(String line)
+    {
+        String s = line;
+
+        int hash = s.indexOf('#');
+        if (hash == 0)
+        {
+            return; // ignore comment lines
+        }
+        else if (hash != -1)
+        {
+            s = s.substring(0, hash);
+        }
+
+        s = s.trim();
+
+        // TODO: Could also use a regex
+        int pos = s.indexOf(' ');
+        if (pos == -1)
+        {
+            pos = s.indexOf('\t');
+        }
+        if (pos == -1)
+        {
+            pos = s.indexOf('=');
+        }
+        if (pos == -1 || pos == s.length() - 1)
+        {
+            return;
+        }
+
+        String key = s.substring(0, pos);
+        String value = s.substring(pos + 1).trim();
+        setProperty(key, value);
+    }
+
+    private java.util.HashMap _properties = new java.util.HashMap();
+}