Valgrind cleanliness, part 5: Delete extensions on exit.
authorsvenpanne@chromium.org <svenpanne@chromium.org@ce2b1a6d-e550-0410-aec6-3dcde31c8c00>
Thu, 29 Mar 2012 09:45:46 +0000 (09:45 +0000)
committersvenpanne@chromium.org <svenpanne@chromium.org@ce2b1a6d-e550-0410-aec6-3dcde31c8c00>
Thu, 29 Mar 2012 09:45:46 +0000 (09:45 +0000)
commit7c7c2801f5aaf70e3ef0ab836e2dc31887d3883c
tree55d6fa9aed489941fa34a450875b33b74e286706
parentc12a9ed6f084e1c9265abf66c7228989a5cb94a7
Valgrind cleanliness, part 5: Delete extensions on exit.

This fixes 4 leaks, returning 196 bytes of lost memory.

Review URL: https://chromiumcodereview.appspot.com/9864034

git-svn-id: http://v8.googlecode.com/svn/branches/bleeding_edge@11184 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
src/api.cc
src/api.h
src/extensions/externalize-string-extension.cc
src/extensions/gc-extension.cc
src/v8.cc