comparison frontends/src/__init__.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 d8bb72f00eec
children
comparison
equal deleted inserted replaced
1447:b003dbd2b4e9 1448:227856b13d7a