# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1666825593 -7200
# Node ID 102e0dc03f42bcd641be838499f39b1f939c8373
# Parent  67c8871aaef470569471ddb5ca254b7a018dbfe0
Detach any mapped memory before requesting a different file region.

diff -r 67c8871aaef4 -r 102e0dc03f42 libfsclient/lib/src/file.cc
--- a/libfsclient/lib/src/file.cc	Mon Oct 24 01:15:30 2022 +0200
+++ b/libfsclient/lib/src/file.cc	Thu Oct 27 01:06:33 2022 +0200
@@ -356,16 +356,17 @@
                offset_t start_visible, offset_t end_visible,
                l4re_rm_flags_t region_flags)
 {
+  if (file->memory != NULL)
+  {
+    ipc_detach_dataspace(file->memory);
+    file->memory = NULL;
+  }
+
   long err = file_mmap_only(file, position, length, start_visible, end_visible);
 
   if (err)
     return err;
 
-  if (file->memory != NULL)
-    ipc_detach_dataspace(file->memory);
-
-  file->memory = NULL;
-
   err = ipc_attach_dataspace_align(file->ref, file_span(file),
                                    L4RE_RM_F_SEARCH_ADDR | region_flags,
                                    L4_PAGESHIFT,