From 2401612ccf333d5b2d4872326220c0659c0d42e7 Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Sun, 4 Dec 2022 19:16:33 +0100
Subject: [PATCH] updated utils.c
---
src/logger/lib/utils.c | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/src/logger/lib/utils.c b/src/logger/lib/utils.c
index f0aaf8f..dac9a8f 100644
--- a/src/logger/lib/utils.c
+++ b/src/logger/lib/utils.c
@@ -20,7 +20,9 @@ along with this program. If not, see <https://www.gnu.org/licenses/>.
#include <unistd.h>
-void deallocateLogger(int logger)
+#include <why2/logger/flags.h>
+
+void deallocateLogger(logFile logger)
{
- close(logger);
+ close(logger.file);
}
\ No newline at end of file