| Tue, 01 Oct 2019 11:42:23 +0200 | wenzelm | more robust after shutdown; | changeset | files |
| Tue, 01 Oct 2019 11:29:03 +0200 | wenzelm | more sequential access to Session.manager.global_state: avoid minor divergence of tip version; | changeset | files |
| Mon, 30 Sep 2019 21:01:08 +0200 | wenzelm | clarified share_common_data: after finished checkpoint, before next edits; | changeset | files |
| Mon, 30 Sep 2019 17:28:40 +0200 | wenzelm | obsolete (see 030a6baa5cb2 and d14ddb1df52c); | changeset | files |
| Mon, 30 Sep 2019 16:40:35 +0200 | wenzelm | support headless_load_limit for more scalable load process; | changeset | files |
| Mon, 30 Sep 2019 13:23:49 +0200 | wenzelm | added dump_options: disabled by default; | changeset | files |