fixup

Author: topointon-jump

src/app/shared/commands/configure/hugetlbfs.c

@@ -318,6 +318,12 @@ fini( config_t const * config,
   }
 
   /* The normal pages mount directory is not a hugetlbfs mount, so we need to handle it separately. */
+  /* In some cases, the normal pages mount directory has been mounted by a different process, so we
+     umount it just to be on the safe side. */
+  if( FD_UNLIKELY( !umount( config->hugetlbfs.normal_page_mount_path ) ) ) {
+    FD_LOG_DEBUG(( "error unmounting hugetlbfs normal pages directory at `%s` (%i-%s). this is expected in normal operation",
+      config->hugetlbfs.normal_page_mount_path, errno, fd_io_strerror( errno ) ));
+  }
   if( FD_UNLIKELY( empty_dir_top_level(config->hugetlbfs.normal_page_mount_path) && errno != ENOENT ) )
     FD_LOG_ERR(( "error emptying hugetlbfs normal pages directory at `%s` (%i-%s)",
       config->hugetlbfs.normal_page_mount_path, errno, fd_io_strerror(errno) ));