More bugs

diff --git a/src/Serialize/deserializer.cc b/src/Serialize/deserializer.cc
index 0e6839dae9136f68621a02fa838bf4dd3d7c8604..de9c2fc1b997b22927b49b4e1a3200531a82c97e 100644 (file)
--- a/src/Serialize/deserializer.cc
+++ b/src/Serialize/deserializer.cc
@@ -26,6 +26,10 @@ Deserializer::Deserializer(const char* file):
 
 Deserializer::~Deserializer() {
        delete solver;
 
 Deserializer::~Deserializer() {
        delete solver;

+       
+       if (-1 == close(filedesc)){
+               exit(-1);
+       }

 }
 
 ssize_t Deserializer::myread(void* __buf, size_t __nbytes){
 }
 
 ssize_t Deserializer::myread(void* __buf, size_t __nbytes){

diff --git a/src/Serialize/serializer.cc b/src/Serialize/serializer.cc
index 96e81aa8e82a5e167e5fb2bb44e314fc81ad0a77..b49b98b45e828e101392a1b9c789f0c488fa13c9 100644 (file)
--- a/src/Serialize/serializer.cc
+++ b/src/Serialize/serializer.cc
@@ -12,7 +12,7 @@
 #include "boolean.h"
 
 Serializer::Serializer(const char *file) {
 #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);
  
        if (filedesc < 0) {
                exit(-1);