sd_pid_get_machine_name(inc) - phpMan