[master] Use list() instead of .copy() (as it is a Python 3.3 feature)

Suggested by Michal.

diff --git a/src/lib/python/isc/memmgr/builder.py b/src/lib/python/isc/memmgr/builder.py
index 411c224029bbfe3f9db91cc469b8efdefc877da3..a60afaa24c80b8d47995b0eba7825d78e9316aa0 100644 (file)
--- a/src/lib/python/isc/memmgr/builder.py
+++ b/src/lib/python/isc/memmgr/builder.py
@@ -68,7 +68,7 @@ class MemorySegmentBuilder:
                     self._cv.wait()
                 # Move the queue content to a local queue. Be careful of
                 # not making assignments to reference variables.
-                local_command_queue = self._command_queue.copy()
+                local_command_queue = list(self._command_queue)
                 del self._command_queue[:]
 
                 # Run commands passed in the command queue sequentially