diff options
Diffstat (limited to 'Monitor/Central_Monitor/Interface.idl')
-rw-r--r-- | Monitor/Central_Monitor/Interface.idl | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/Monitor/Central_Monitor/Interface.idl b/Monitor/Central_Monitor/Interface.idl deleted file mode 100644 index 8c4308fd451..00000000000 --- a/Monitor/Central_Monitor/Interface.idl +++ /dev/null @@ -1,25 +0,0 @@ -#ifndef RACE_MONITOR_INTERFACE_IDL -#define RACE_MONITOR_INTERFACE_IDL - -module CIAO -{ - module RACE - { - typedef sequence<long> Delays; - - interface Execution_Time_Monitor - { - exception IdNotFound - { - }; - - oneway void push_delays (in string id, in Delays delay); - - Delays get_delays (in string id) raises (IdNotFound); - }; - - }; - -}; - -#endif /*RACE_MONITOR_INTERFACE_IDL*/ |