diff options
Diffstat (limited to 'modules/CIAO/DAnCE/RepositoryManager/RepositoryManagerDaemon.idl')
-rw-r--r-- | modules/CIAO/DAnCE/RepositoryManager/RepositoryManagerDaemon.idl | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/modules/CIAO/DAnCE/RepositoryManager/RepositoryManagerDaemon.idl b/modules/CIAO/DAnCE/RepositoryManager/RepositoryManagerDaemon.idl new file mode 100644 index 00000000000..7f28e7d5683 --- /dev/null +++ b/modules/CIAO/DAnCE/RepositoryManager/RepositoryManagerDaemon.idl @@ -0,0 +1,13 @@ +// $Id$ + +#include "ciao/Deployment_RepositoryManager.idl" + +module CIAO +{ + interface RepositoryManagerDaemon : Deployment::RepositoryManager + { + // Shutdown the daemon process. + oneway void shutdown (); + }; +}; + |