From 3f29c5b0c17f38076295e37b1df167d63c36f226 Mon Sep 17 00:00:00 2001 From: Hamed Date: Mon, 11 Sep 2017 13:42:10 -0700 Subject: [PATCH] More bugs --- src/Serialize/deserializer.cc | 4 ++++ src/Serialize/serializer.cc | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/src/Serialize/deserializer.cc b/src/Serialize/deserializer.cc index 0e6839d..de9c2fc 100644 --- a/src/Serialize/deserializer.cc +++ b/src/Serialize/deserializer.cc @@ -26,6 +26,10 @@ Deserializer::Deserializer(const char* file): Deserializer::~Deserializer() { delete solver; + + if (-1 == close(filedesc)){ + exit(-1); + } } ssize_t Deserializer::myread(void* __buf, size_t __nbytes){ diff --git a/src/Serialize/serializer.cc b/src/Serialize/serializer.cc index 96e81aa..b49b98b 100644 --- a/src/Serialize/serializer.cc +++ b/src/Serialize/serializer.cc @@ -12,7 +12,7 @@ #include "boolean.h" Serializer::Serializer(const char *file) { - filedesc = open(file, O_WRONLY | O_CREAT, 0666); + filedesc = open(file, O_WRONLY | O_CREAT | O_TRUNC, 0666); if (filedesc < 0) { exit(-1); -- 2.34.1