1 2 3 4 5 6 7 8 9
//$Id$ interface Manager { long registerServer(); void startRetry(in long count); long endRetry(); // returns unused attempts };