sd_pid_get_machine_name(3) - phpMan