comparison src/plugins/plugin_exp_command_export.py @ 1448:227856b13d7a

core: new tools.sat_defer module, and implementation of RTDeferredSessions: The real-time deferred session is a class which manage session of several deferreds at once (pretty much like a DeferredList), with the ability to get intermediate results.
author Goffi <goffi@goffi.org>
date Sat, 15 Aug 2015 22:13:27 +0200
parents 3265a2639182
children 22a8e770cb7b
comparison
equal deleted inserted replaced
1447:b003dbd2b4e9 1448:227856b13d7a