Re: [PATCH hurd] Use the new host_get_kernel_version introduced recently.

[Samuel Thibault]

Applied, thanks!

Flavio Cruz, le mer. 15 mars 2023 02:21:53 -0400, a ecrit:
> https://git.savannah.gnu.org/cgit/hurd/gnumach.git/commit/?id=5447f965f1e109f7ac9aeb91c0e3906969a4adb8
> provides more context.
> ---
>  proc/host.c | 7 ++++++-
>  1 file changed, 6 insertions(+), 1 deletion(-)
> 
> diff --git a/proc/host.c b/proc/host.c
> index 4cfd710e..e78e70da 100644
> --- a/proc/host.c
> +++ b/proc/host.c
> @@ -363,7 +363,12 @@ initialize_version_info (void)
>    assert_backtrace (server_versions);
>    server_versions_nalloc = 10;
>  
> -  err = host_kernel_version (mach_host_self (), kv);
> +  err = host_get_kernel_version (mach_host_self (), kv);
> +  if (err == MIG_BAD_ID)
> +    {
> +      /* Delete after some time. */
> +      err = host_kernel_version (mach_host_self (), kv);
> +    }
>    assert_backtrace (! err);
>    /* Make sure the result is null-terminated, as the kernel doesn't
>       guarantee it.  */
> -- 
> 2.39.0
> 
> 

-- 
Samuel
---
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'Inria.