1 files changed, 69 insertions, 0 deletions
diff --git a/jetty-deploy/src/main/java/org/eclipse/jetty/deploy/FileConfigurationManager.java b/jetty-deploy/src/main/java/org/eclipse/jetty/deploy/FileConfigurationManager.java
new file mode 100644
index 0000000000..ab47943523
--- /dev/null
+++ b/jetty-deploy/src/main/java/org/eclipse/jetty/deploy/FileConfigurationManager.java
@@ -0,0 +1,69 @@
+// ========================================================================
+// Copyright (c) 2006-2009 Mort Bay Consulting Pty. Ltd.
+// ------------------------------------------------------------------------
+// All rights reserved. This program and the accompanying materials
+// are made available under the terms of the Eclipse Public License v1.0
+// and Apache License v2.0 which accompanies this distribution.
+// The Eclipse Public License is available at 
+// http://www.eclipse.org/legal/epl-v10.html
+// The Apache License v2.0 is available at
+// http://www.opensource.org/licenses/apache2.0.php
+// You may elect to redistribute this code under either of these licenses. 
+// ========================================================================
+
+package org.eclipse.jetty.deploy;
+
+import java.io.FileNotFoundException;
+import java.io.IOException;
+import java.net.MalformedURLException;
+import java.util.Map;
+import java.util.Properties;
+
+import org.eclipse.jetty.util.resource.Resource;
+
+/**
+ * FileConfigurationManager
+ *
+ * Supplies properties defined in a file.
+ */
+public class FileConfigurationManager implements ConfigurationManager
+{
+    private Resource _file;
+    private Properties _properties = new Properties();
+
+    public FileConfigurationManager()
+    {        
+    }
+    
+    
+    public void setFile (String filename) 
+    throws MalformedURLException, IOException
+    {
+        _file = Resource.newResource(filename);
+    }
+    
+    
+    /** 
+     * @see org.eclipse.jetty.deploy.ConfigurationManager#getProperties()
+     */
+    public Map getProperties()
+    {
+        try
+        {
+            loadProperties();
+            return _properties;
+        }
+        catch (Exception e)
+        {
+            throw new RuntimeException(e);
+        }
+    }
+
+    
+    private void loadProperties () 
+    throws FileNotFoundException, IOException
+    {
+        if (_properties.isEmpty())
+            _properties.load(_file.getInputStream());
+    }
+}