1.1 --- a/libexec/lib/src/memory.cc	Thu Sep 15 18:57:55 2022 +0200
     1.2 +++ b/libexec/lib/src/memory.cc	Fri Sep 16 15:17:22 2022 +0200
     1.3 @@ -37,7 +37,7 @@
     1.4  {
     1.5    file_t *file = client_open(filename, O_RDONLY);
     1.6  
     1.7 -  if (file == NULL)
     1.8 +  if ((file == NULL) || !client_opened(file))
     1.9      return -L4_EIO;
    1.10  
    1.11    /* Obtain metadata from the file. */
    1.12 @@ -79,7 +79,7 @@
    1.13      {
    1.14        file_t *rfile = client_open(filename, file_opening_flags(segment->region_flags()));
    1.15  
    1.16 -      if (rfile == NULL)
    1.17 +      if ((rfile == NULL) || !client_opened(rfile))
    1.18        {
    1.19          delete *payload;
    1.20          *payload = NULL;