Make destroy() idempotent like it was in 1.7, to avoid various issues, fixes #15815 !strict
Make destroy() idempotent like it was in 1.7, to avoid various issues, fixes #15815 !strict

git-svn-id: 674a2d6b1e32e53f607eb824547723f32280967e@29442 560b804f-0ae3-0310-86f3-f6aa0a117693

harbalk/delite,Sam-Cummins/delite,Sam-Cummins/delite,kitsonk/delite,harbalk/delite,kitsonk/delite