From 80af465ce31aeaa6c8e75e3baa1a23113519121a Mon Sep 17 00:00:00 2001
From: Miroslav Stampar <miroslav.stampar@gmail.com>
Date: Sun, 9 Nov 2014 18:40:49 +0100
Subject: [PATCH] Fix for an Issue #911

---
 lib/core/bigarray.py | 21 +++++++++++++++------
 1 file changed, 15 insertions(+), 6 deletions(-)

diff --git a/lib/core/bigarray.py b/lib/core/bigarray.py
index 36dfd7e42..e3d33257c 100644
--- a/lib/core/bigarray.py
+++ b/lib/core/bigarray.py
@@ -33,8 +33,8 @@ class BigArray(list):
     def __init__(self):
         self.chunks = [[]]
         self.cache = None
-        self.length = 0
         self.filenames = set()
+        self.protected = False
         self._os_remove = os.remove
 
     def append(self, value):
@@ -78,6 +78,14 @@ class BigArray(list):
             with open(self.chunks[index], "rb") as fp:
                 self.cache = Cache(index, pickle.load(fp), False)
 
+    def __getstate__(self):
+        self.protected = True
+        return self.chunks, self.filenames, self.protected
+
+    def __setstate__(self, state):
+        self.__init__()
+        self.chunks, self.filenames, self.protected = state
+
     def __getslice__(self, i, j):
         retval = BigArray()
         i = max(0, len(self) + i if i < 0 else i)
@@ -120,8 +128,9 @@ class BigArray(list):
         return len(self.chunks[-1]) if len(self.chunks) == 1 else (len(self.chunks) - 1) * BIGARRAY_CHUNK_LENGTH + len(self.chunks[-1])
 
     def __del__(self):
-        for filename in self.filenames:
-            try:
-                self._os_remove(filename)
-            except:
-                pass
+        if not self.protected:
+            for filename in self.filenames:
+                try:
+                    self._os_remove(filename)
+                except:
+                    pass