aboutsummaryrefslogtreecommitdiffstats
path: root/src/com/vaadin/terminal/DeploymentConfiguration.java
diff options
context:
space:
mode:
authorLeif Åstrand <leif@vaadin.com>2012-07-26 15:18:35 +0300
committerLeif Åstrand <leif@vaadin.com>2012-07-26 16:29:14 +0300
commit3409ee849396b5e54d3d61d06b048a3541426210 (patch)
tree0c45db1c581b456850878525eb057931d9aa6ac4 /src/com/vaadin/terminal/DeploymentConfiguration.java
parenta1be41f0fcba31c20234b223e36678a8e9a30bf0 (diff)
downloadvaadin-framework-3409ee849396b5e54d3d61d06b048a3541426210.tar.gz
vaadin-framework-3409ee849396b5e54d3d61d06b048a3541426210.zip
Support connector resources in portlets (#9059)
Diffstat (limited to 'src/com/vaadin/terminal/DeploymentConfiguration.java')
-rw-r--r--src/com/vaadin/terminal/DeploymentConfiguration.java18
1 files changed, 18 insertions, 0 deletions
diff --git a/src/com/vaadin/terminal/DeploymentConfiguration.java b/src/com/vaadin/terminal/DeploymentConfiguration.java
index 02a3f0200f..5d622cac20 100644
--- a/src/com/vaadin/terminal/DeploymentConfiguration.java
+++ b/src/com/vaadin/terminal/DeploymentConfiguration.java
@@ -6,6 +6,9 @@ package com.vaadin.terminal;
import java.io.Serializable;
+import javax.portlet.PortletContext;
+import javax.servlet.ServletContext;
+
/**
* Provide deployment specific settings that are required outside terminal
* specific code.
@@ -83,4 +86,19 @@ public interface DeploymentConfiguration extends Serializable {
* @return the class loader to use, or <code>null</code>
*/
public ClassLoader getClassLoader();
+
+ /**
+ * Returns the MIME type of the specified file, or null if the MIME type is
+ * not known. The MIME type is determined by the configuration of the
+ * container, and may be specified in a deployment descriptor. Common MIME
+ * types are "text/html" and "image/gif".
+ *
+ * @param resourceName
+ * a String specifying the name of a file
+ * @return a String specifying the file's MIME type
+ *
+ * @see ServletContext#getMimeType(String)
+ * @see PortletContext#getMimeType(String)
+ */
+ public String getMimeType(String resourceName);
}