1 #ifndef CARMA_UTIL_PROCESSMONITOR_IDL
2 #define CARMA_UTIL_PROCESSMONITOR_IDL
7 const string PROCESS_MONITOR_NAME =
"carma.util.ProcessMonitor";
9 interface ProcessMonitor {
15 void alive( in
string serverId );
22 #endif // #ifndef CARMA_UTIL_PROCESSMONITOR_IDL