public interface HotDeploy
Modifier and Type | Method and Description |
---|---|
void |
fireDeployEvent(HotDeployEvent hotDeployEvent) |
void |
fireUndeployEvent(HotDeployEvent hotDeployEvent) |
boolean |
registerDependentPortalLifecycle(String servletContextName,
PortalLifecycle portalLifecycle) |
void |
registerListener(HotDeployListener hotDeployListener) |
void |
reset() |
void |
setCapturePrematureEvents(boolean capturePrematureEvents) |
void |
unregisterListener(HotDeployListener hotDeployListener) |
void |
unregisterListeners() |
void fireDeployEvent(HotDeployEvent hotDeployEvent)
void fireUndeployEvent(HotDeployEvent hotDeployEvent)
boolean registerDependentPortalLifecycle(String servletContextName, PortalLifecycle portalLifecycle)
void registerListener(HotDeployListener hotDeployListener)
void reset()
void setCapturePrematureEvents(boolean capturePrematureEvents)
void unregisterListener(HotDeployListener hotDeployListener)
void unregisterListeners()