[PUSHED-3-6] fix for fdö#55710, don't insert pointer twice into a ptr_set

[Fridrich Strba]

Looks OK to my little brain. Pushed

Thanks

F.

On 09/10/12 08:54, Markus Mohrhard wrote:
> Hey,
> 
> the attached patch prevents inserting the same pointer into a ptr_set.
> The result of inserting it a second time is that on the second pointer
> delete is called which in the end invalidates both the data behind the
> pointer and also the already existing entry in the ptr_set.
> 
> The patch is a 3-6 version of
> http://cgit.freedesktop.org/libreoffice/core/commit/?id=34638df69902a2251e8c23833b62c005a754fd5d
> 
> Regards,
> Markus
> 
> 
> 
> _______________________________________________
> LibreOffice mailing list
> LibreOffice at lists.freedesktop.org
> http://lists.freedesktop.org/mailman/listinfo/libreoffice
>