K 10 svn:author V 3 imp K 8 svn:date V 27 2008-08-23T07:46:20.575826Z K 7 svn:log V 114 Set devs to 0 in case device_get_children return an error. The right thing to do here is nothing in that case... END