K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2004-07-13T20:49:13.000000Z
K 7
svn:log
V 302
Set TDF_NEEDRESCHED when a higher priority thread is scheduled in
sched_add() rather than just doing it in sched_wakeup().  The old
ithread preemption code used to set NEEDRESCHED unconditionally if it
didn't preempt which masked this bug in SCHED_4BSD.

Noticed by:	jake
Reported by:	kensmith, marcel

END