diff options
Diffstat (limited to 'Monitor/Central_Monitor/Monitor.cidl')
| -rw-r--r-- | Monitor/Central_Monitor/Monitor.cidl | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/Monitor/Central_Monitor/Monitor.cidl b/Monitor/Central_Monitor/Monitor.cidl new file mode 100644 index 00000000000..c2378e25483 --- /dev/null +++ b/Monitor/Central_Monitor/Monitor.cidl @@ -0,0 +1,21 @@ +#ifndef RACE_MONITOR_CIDL +#define RACE_MONITOR_CIDL + +#include "Monitor.idl" + + +module CIAO +{ + module RACE + { + composition session Central_Monitor_Impl + { + home executor Central_Monitor_Home_Exec + { + implements Central_Monitor_Home; + manages Central_Monitor_Exec; + }; + }; + }; +}; +#endif /* RACE_MONITOR_CIDL */ |