seed-example.js revision 3e2147858f21943d5f4a781c60f33ac22c6096ed
// seed example
function print_device (device) {
}
}
print ("");
}
}
var d;
if (d == null) {
print ("query_by_device_number 0x810 -> null");
} else {
print_device (dd);
print ("--------------------------------------------------------------------------");
while (d != null) {
print_device (d);
print ("");
d = d.get_parent ();
}
}