sd_pid_get_machine_name(phpman.html) - phpMan