HomeIsabelle/Phabricator

proper handling of Protocol.Export, using the payload from the message --- in…

Description

proper handling of Protocol.Export, using the payload from the message --- in contrast db_context.read_export materializes only later by a different thread (race condition);

Details

Provenance
makariusAuthored on
Parents
rISABELLEf54c81fe84f2: revert temporary workaround 6d111935299c;
Branches
Unknown
Tags
Unknown