protected void log(String str) {
if (device_manager == null) {
System.out.println(str);
} else {
device_manager.log("TiVo: " + str);
}
}
protected void log(String str, Throwable e) {
if (device_manager == null) {
System.out.println(str);
e.printStackTrace();
} else {
device_manager.log("TiVo: " + str, e);
}
}