public java.io.FilenameFilter getDeployableFilter()
Provides a filter that decides whether a file can be deployed by
this deployer based on the filename. This is for the benefit of
the AutoDeployer service.
Returns:
a FilenameFilter that only
accepts files with names that can be
deployed by this deployer
deploy
public void deploy(java.lang.String url)
throws java.net.MalformedURLException,
java.io.IOException,
DeploymentException
undeploy
public void undeploy(java.lang.String url)
throws java.net.MalformedURLException,
java.io.IOException,
DeploymentException
isDeployed
public boolean isDeployed(java.lang.String url)
throws java.net.MalformedURLException,
DeploymentException