diff options
author | Jonathan Herman <hermanjl@cs.unc.edu> | 2011-04-23 13:23:34 -0400 |
---|---|---|
committer | Jonathan Herman <hermanjl@cs.unc.edu> | 2011-04-23 13:23:34 -0400 |
commit | d7bc8dd1465068da165342cdc0e4e44b53a576a1 (patch) | |
tree | 017de7113348fcfe358899ae768d866ca5905c95 /litmus/litmus.c | |
parent | a1dcb10eb16d6e71a755124376de16e2bba44339 (diff) |
Fixed bug where tasks which finished under slack prevented a plugin switch.
Diffstat (limited to 'litmus/litmus.c')
-rw-r--r-- | litmus/litmus.c | 2 |
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 | ||