K 10 svn:author V 5 luigi K 8 svn:date V 27 2010-01-18T13:38:45.161732Z K 7 svn:log V 102 implement scheduler destruction when queues drain; fix management of changes in flowsets' parameters. END