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-16 13:39:12 +01:00
2013-08-16 13:39:12 +01:00
2013-11-19 10:23:35 +00:00
2014-01-23 00:46:03 +00:00
2014-08-07 15:42:10 +01:00
2014-08-06 16:30:26 +01:00
2013-09-11 11:40:46 +01:00