]> git.tue.mpg.de Git - paraslash.git/commit
sched: Kill unnecessary check in sched_pre_select().
authorAndre Noll <maan@systemlinux.org>
Thu, 21 Jul 2011 17:39:03 +0000 (19:39 +0200)
committerAndre Noll <maan@systemlinux.org>
Sat, 30 Jul 2011 18:27:55 +0000 (20:27 +0200)
commit7544e25415144894b58e48ab17de21a693ea00c7
tree5d31ebbf3ad1f3735db1e3acd3c516837048f062
parent37ae4ca0d9fb24ee2a35ac3786bcd3d8a6272535
sched: Kill unnecessary check in sched_pre_select().

The only two callers of sched_shutdown() call this function
from post_select context, so we may safely remove the check
whether the pre_select list is empty.

Add a comment to sched_shutdown() which mentions that this
function must be called from post_select.
sched.c