view frontends/src/tools/__init__.py @ 1345:b26dd78de495 frontends_multi_profiles

quick frontends: signal cache: if a signal arrives between the beginning of profile plugging, and the when the profile is actually ready, it is cached and replayed when the profile is ready.
author Goffi <goffi@goffi.org>
date Tue, 24 Feb 2015 20:29:57 +0100
parents 56aa0e98c92e
children
line wrap: on
line source