K 10
svn:author
V 5
luigi
K 8
svn:date
V 27
2010-01-26T16:47:34.262358Z
K 7
svn:log
V 64
fix two bugs in the scheduler

Submitted by:	Riccardo Panicucci

END