1 files changed, 25 insertions, 0 deletions
diff --git a/Monitor/Central_Monitor/Interface.idl b/Monitor/Central_Monitor/Interface.idl
new file mode 100644
index 00000000000..8c4308fd451
--- /dev/null
+++ b/Monitor/Central_Monitor/Interface.idl
@@ -0,0 +1,25 @@
+#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*/