[PATCH hurd] Use the new host_get_kernel_version introduced recently.

[Flavio Cruz]

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