FileDocCategorySizeDatePackage
WorkListener.javaAPI DocExample159Sun Jul 06 13:51:28 BST 1997None

WorkListener.java

import java.rmi.*;

public interface WorkListener extends Remote {
	public void workCompleted( WorkRequest request, Object result ) throws RemoteException;
}