# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1679097173 -3600
# Node ID 79622a75409c887a03413de9d74c9dd79d785f0f
# Parent  b00b58b24096a99f9c0e71e06f214879ca3632ec
Fixed file member initialisation.

diff -r b00b58b24096 -r 79622a75409c libexec/include/exec/segment.h
--- a/libexec/include/exec/segment.h	Fri Mar 17 22:43:44 2023 +0100
+++ b/libexec/include/exec/segment.h	Sat Mar 18 00:52:53 2023 +0100
@@ -43,7 +43,7 @@
 
   char *_buf;
   l4re_ds_t _ds;
-  file_t *_file;
+  file_t *_file = NULL;
   bool _allocated = false, _attached = false;
 
   /* Segment region base. */
diff -r b00b58b24096 -r 79622a75409c libexec/lib/src/segment.cc
--- a/libexec/lib/src/segment.cc	Fri Mar 17 22:43:44 2023 +0100
+++ b/libexec/lib/src/segment.cc	Sat Mar 18 00:52:53 2023 +0100
@@ -50,6 +50,7 @@
   else if (client_opened(_file))
   {
     client_close(_file);
+    _file = NULL;
   }
 }