comparison src/sat.sh @ 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 02c26e6630d0
children 61c03265e133
comparison
equal deleted inserted replaced
1447:b003dbd2b4e9 1448:227856b13d7a