More bugs
authorHamed <hamed.gorjiara@gmail.com>
Mon, 11 Sep 2017 20:42:10 +0000 (13:42 -0700)
committerHamed <hamed.gorjiara@gmail.com>
Mon, 11 Sep 2017 20:42:10 +0000 (13:42 -0700)
src/Serialize/deserializer.cc
src/Serialize/serializer.cc

index 0e6839d..de9c2fc 100644 (file)
@@ -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){
index 96e81aa..b49b98b 100644 (file)
@@ -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);