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
..
wip
2014-07-29 11:34:26 +01:00
2013-10-10 10:18:46 +01:00
2014-08-21 11:51:04 +01:00
wip
2014-07-29 11:34:26 +01:00
2013-08-08 10:49:59 +01:00
2013-05-28 12:20:05 +01:00
2013-03-22 12:04:38 +00:00
wip
2014-07-29 11:34:26 +01:00
2013-05-20 16:09:13 +01:00
2011-12-15 19:34:31 +01:00
2013-07-09 11:24:19 +01:00
2013-08-08 10:49:59 +01:00
wip
2014-07-29 11:34:26 +01:00
wip
2014-07-29 11:34:26 +01:00
wip
2014-07-29 11:34:26 +01:00