bug fix

diff --git a/src/Serialize/serializer.cc b/src/Serialize/serializer.cc
index 4a970748e66470319550dde3a34fa4c49406c887..daa8ba015bba9514ae31ebd216bc71e02e51756c 100644 (file)
--- a/src/Serialize/serializer.cc
+++ b/src/Serialize/serializer.cc
@@ -45,14 +45,18 @@ Serializer::~Serializer() {
 }
 
 void Serializer::mywrite(const void *__buf, size_t __n) {
+       char *towrite=(char *) __buf;
        if (__n > SERIALBUFFERLENGTH *2) {
                if (bufferoffset != 0)
                        flushBuffer();
-               ssize_t result=write(filedesc, __buf, __n);
-               if (result != (ssize_t) __n)
-                       exit(-1);
+               while (__n > 0) {
+                       ssize_t result=write(filedesc, &towrite, __n);
+                       if (result != (ssize_t) __n)
+                               exit(-1);
+                       towrite += result;
+                       __n -= result;
+               }
        } else {
-               char *towrite=(char *) __buf;
                do  {
                        uint spacefree = bufferlength-bufferoffset;
                        uint datatowrite = spacefree > __n ? __n : spacefree;
@@ -61,6 +65,7 @@ void Serializer::mywrite(const void *__buf, size_t __n) {
 
                        if (spacefree < __n) {
                                flushBuffer();
+                               __n -= datatowrite;
                                towrite += datatowrite;
                        } else if (spacefree == __n) {
                                flushBuffer();

diff --git a/src/config.h b/src/config.h
index e34b82810f12e85049baa60ecf112985fbecaa43..2e48668479d21cfacd8bf42e014849ec5a83d2aa 100644 (file)
--- a/src/config.h
+++ b/src/config.h
@@ -19,7 +19,7 @@
 //#define CONFIG_DEBUG
 #endif
 
-#define SATCHECK_CONFIG
+//#define SATCHECK_CONFIG
 
 #ifndef CONFIG_ASSERT
 #define CONFIG_ASSERT

diff --git a/src/mymemory.h b/src/mymemory.h
index 766e6f65675464a17840cbaf80bef665a349ead7..0798860fa89a625aad4bfbee1c9cfffd88fd70bc 100644 (file)
--- a/src/mymemory.h
+++ b/src/mymemory.h
@@ -19,7 +19,7 @@
 
 #include "config.h"
 
-#define SATCHECK_CONFIG
+//#define SATCHECK_CONFIG
 
 /*
    void * ourmalloc(size_t size);