[Dune] [#936] Bug in Dune::shared_ptr assignment operator (Attachment added)

[Dune]

THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.

A new Flyspray task has been opened.  Details are below. 

User who did this - Jonathan Youett (youett) 

Attached to Project - Dune
Summary - Bug in Dune::shared_ptr assignment operator
Task Type - Bug Report
Category - Common
Status - Unconfirmed
Assigned To - 
Operating System - Unspecified / All
Severity - High
Priority - Normal
Reported Version - SVN (pre2.2)
Due in Version - Undecided
Due Date - Undecided
Details - Hi folks,

if you assign a Dune::shared_ptr to another one, the rep_ pointer of "this" is only counted down/deleted if "other".rep_ is not the null ptr. This should be done nevertheless, shouldn't it? I attached a patch against the current trunk that fixes this.

Greets
Jonny  

One or more files have been attached.

More information can be found at the following URL:
http://www.dune-project.org/flyspray/index.php?do=details&task_id=936

You are receiving this message because you have requested it from the Flyspray bugtracking system.  If you did not expect this message or don't want to receive mails in future, you can change your notification settings at the URL shown above.