aboutsummaryrefslogtreecommitdiffstats
path: root/litmus/litmus.c
diff options
context:
space:
mode:
authorJonathan Herman <hermanjl@cs.unc.edu>2011-04-23 13:23:34 -0400
committerJonathan Herman <hermanjl@cs.unc.edu>2011-04-23 13:23:34 -0400
commitd7bc8dd1465068da165342cdc0e4e44b53a576a1 (patch)
tree017de7113348fcfe358899ae768d866ca5905c95 /litmus/litmus.c
parenta1dcb10eb16d6e71a755124376de16e2bba44339 (diff)
Fixed bug where tasks which finished under slack prevented a plugin switch.
Diffstat (limited to 'litmus/litmus.c')
-rw-r--r--litmus/litmus.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/litmus/litmus.c b/litmus/litmus.c
index 38f276d67095..657b4eda96e6 100644
--- a/litmus/litmus.c
+++ b/litmus/litmus.c
@@ -371,9 +371,9 @@ void litmus_exit_task(struct task_struct* tsk)
371 if (!bheap_node_in_heap(tsk_rt(tsk)->heap_node)) { 371 if (!bheap_node_in_heap(tsk_rt(tsk)->heap_node)) {
372 bheap_node_free(tsk_rt(tsk)->heap_node); 372 bheap_node_free(tsk_rt(tsk)->heap_node);
373 release_heap_free(tsk_rt(tsk)->rel_heap); 373 release_heap_free(tsk_rt(tsk)->rel_heap);
374 atomic_dec(&rt_task_count);
375 reinit_litmus_state(tsk, 1); 374 reinit_litmus_state(tsk, 1);
376 } 375 }
376 atomic_dec(&rt_task_count);
377 } 377 }
378} 378}
379 379