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