((RfbPlayer)receiver).jumpTo(time);
}
} else
- System.out.println("Couldn't jump to time: " + time + " in RfbPlayer.");
+ System.err.println("Couldn't jump to time: " + time + " in RfbPlayer.");
}
}
// fatalError() - print out a fatal error message.
//
public void fatalError(String str) {
- System.out.println(str);
+ System.err.println(str);
if (inAnApplet) {
vncContainer.removeAll();
if (receiver != null) {
((RfbPlayer)receiver).displaySize(width, height);
} else
- System.out.println("Couldn't resize RfbPlayer.");
+ System.err.println("Couldn't resize RfbPlayer.");
}
}