[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH hurd] Use the new host_get_kernel_version introduced recently.
From: |
Flavio Cruz |
Subject: |
[PATCH hurd] Use the new host_get_kernel_version introduced recently. |
Date: |
Wed, 15 Mar 2023 02:21:53 -0400 |
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [PATCH hurd] Use the new host_get_kernel_version introduced recently.,
Flavio Cruz <=