# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1663334242 -7200
# Node ID f14d66e293b31d2a3ffdc64293d8c8b617789b40
# Parent  902da02f4f5070b4ceaee36e43205e03bee599f8
Introduced missing tests for successful file opening.

diff -r 902da02f4f50 -r f14d66e293b3 libexec/lib/src/memory.cc
--- a/libexec/lib/src/memory.cc	Thu Sep 15 18:57:55 2022 +0200
+++ b/libexec/lib/src/memory.cc	Fri Sep 16 15:17:22 2022 +0200
@@ -37,7 +37,7 @@
 {
   file_t *file = client_open(filename, O_RDONLY);
 
-  if (file == NULL)
+  if ((file == NULL) || !client_opened(file))
     return -L4_EIO;
 
   /* Obtain metadata from the file. */
@@ -79,7 +79,7 @@
     {
       file_t *rfile = client_open(filename, file_opening_flags(segment->region_flags()));
 
-      if (rfile == NULL)
+      if ((rfile == NULL) || !client_opened(rfile))
       {
         delete *payload;
         *payload = NULL;