public interface RemoteSynchro extends java.rmi.Remote
void
after_completion(Control ctrl, int s)
before_completion(Control ctrl)
void before_completion(Control ctrl) throws java.rmi.RemoteException
java.rmi.RemoteException
void after_completion(Control ctrl, int s) throws java.rmi.RemoteException