sd_pid_get_machine_name(images) - phpMan