Changeset 49387

Timestamp:

Oct 19, 2008, 1:54:28 PM (14 years ago)

Author:

jmmv

Message:

Avoid using strdup so that we can keep track of which specific memory
allocator was used and thus can free the memory appropriately. We were
using delete [] before, but strdup probably does a simple malloc.
Caught by valgrind in Linux.

(No files)