Joe Thornber a7c96c0e1e [everything] Fix circular shared pointer references.
We had a cycle from transaction_manager <-> space_map, and also from
the ref_counters back up to the tm.

This prevented objects being destroyed when various programs exited.

From now on we'll try and only use a shared ptr if ownership is
implied.  Otherwise a reference will be used (eg, for up pointers).
2014-08-26 11:14:49 +01:00
..
2013-08-15 16:26:17 +01:00
2014-06-16 13:41:45 +01:00
2013-05-28 12:59:17 +01:00
2013-12-11 17:28:14 +00:00
2013-01-10 22:59:54 +00:00
2013-01-10 22:59:54 +00:00