3 Commits

Author	SHA1	Message	Date
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
Joe Thornber	1a632f9d53	[era/xml restorer] bug fixes	2014-08-21 11:22:12 +01:00
Joe Thornber	283ab4ad99	first drop of era_restore	2014-08-07 15:43:01 +01:00