Don't check for failure on unmapping at exit.

diff --git a/servers/is/main.c b/servers/is/main.c
index 81335553258438af618606c63fd088042179627a..590d724f457a30ae2481055e70667d6e2ea2e6dd 100644 (file)
--- a/servers/is/main.c
+++ b/servers/is/main.c
@@ -120,8 +120,7 @@ PRIVATE void exit_server()
   fkeys = sfkeys = 0;
   for (i=1; i<=12; i++) bit_set(fkeys, i);
   for (i=1; i<= 7; i++) bit_set(sfkeys, i);
-  if ((s=fkey_unmap(&fkeys, &sfkeys)) != OK)
-      report("IS", "warning, unfkey_map failed:", s);
+  fkey_unmap(&fkeys, &sfkeys);
 
   /* Done. Now exit. */
   exit(0);