/**
 * Animator.java
 *
 *
 * Created: Tue Dec 18 08:52:19 2001
 *
 * @author <a href="mailto: "Jan Newmarch</a>
 * @version
 */

package saver;

public class Animator extends Thread {
    
    protected Screen screen;
    protected static final int SLEEP_TIME = 100; // milliseconds
 
    public Animator(Screen screen) {
	this.screen = screen;
    }

    public void run() {
	while (true) {
	    try {
		screen.moveAll();
		screen.repaint();
	    } catch(java.rmi.RemoteException e) {
		if (Saver.debug) {
		    System.out.println("Screen update failed");
		    e.printStackTrace();
		}
		// ignore
	    }
	    try {
		sleep(SLEEP_TIME);
	    } catch(InterruptedException e) {
		// ignore
	    }
	}
    }
}// Animator