diff options
Diffstat (limited to 'DAnCE/dance/Deployment/Deployment_ExecutionManager.idl')
| -rw-r--r-- | DAnCE/dance/Deployment/Deployment_ExecutionManager.idl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/DAnCE/dance/Deployment/Deployment_ExecutionManager.idl b/DAnCE/dance/Deployment/Deployment_ExecutionManager.idl index 1c60f42f13c..dd0b9fe3624 100644 --- a/DAnCE/dance/Deployment/Deployment_ExecutionManager.idl +++ b/DAnCE/dance/Deployment/Deployment_ExecutionManager.idl @@ -14,6 +14,9 @@ module Deployment { DomainApplicationManagers getManagers (); void destroyManager (in DomainApplicationManager manager) raises (StopError); + + // Shutdown the daemon process. + void shutdown (); }; }; |