Hello,
I posted a patch in BerliOS a few days ago and it hasn't been committed or replied to yet, so I am posting it here too in case no one is looking there:
(http://developer.berlios.de/patch/?func=detailpatch&patch_id=1638&group_id=5358)
Index: src/sdk/manager.cpp
===================================================================
--- src/sdk/manager.cpp (revision 3222)
+++ src/sdk/manager.cpp (working copy)
@@ -326,12 +326,12 @@
wxMemoryFSHandler::AddFile(file, buf, len);
}
wxXmlResource::Get()->Load(memoryFile);
- delete buf;
+ delete[] buf;
return true;
}
catch (...)
{
- delete buf;
+ delete[] buf;
return false;
}
}
Regards,
Itay