schedule: simplify Scheduler::select_next_thread()
authorBrian Norris <banorris@uci.edu>
Fri, 15 Feb 2013 23:53:13 +0000 (15:53 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 15 Feb 2013 23:59:27 +0000 (15:59 -0800)
commit1857316e6637ac144952a274ff020629abe83807
tree84d0e6dc7506c37503a02d93cf135d45bb343337
parentef4cc3b6f1e19e873509877b8e0d096bbac31e53
schedule: simplify Scheduler::select_next_thread()

Now that the "select next thread" vs. "set_current_thread" is clear, we
don't actually need to set the value of 'current' in
select_next_thread().
schedule.cc