sd_get_machine_names(category33-ubuntu.html) - phpMan