]> git.tuebingen.mpg.de Git - paraslash.git/commitdiff
sched: Replace sched_shutdown() by task_notify_all().
authorAndre Noll <maan@systemlinux.org>
Sun, 8 Jul 2012 18:57:24 +0000 (18:57 +0000)
committerAndre Noll <maan@systemlinux.org>
Sun, 18 Nov 2012 19:28:27 +0000 (20:28 +0100)
sched_shutdown() was mis-designed from the beginning as the registered
tasks have no chance to clean up. Using task notifiers allows to
replace the single caller of sched_shutdown().


No differences found