P-RES: update times before processing departure

Don't forget to charge *current* reservation before its (potentially)
only client departs.

1 files changed, 1 insertions, 0 deletions

diff --git a/litmus/sched_pres.c b/litmus/sched_pres.c
index 0170c6aba208..0a3270346656 100644
--- a/litmus/sched_pres.c
+++ b/litmus/sched_pres.c
@@ -231,6 +231,7 @@ static void pres_task_block(struct task_struct *tsk)
                 litmus_clock(), tsk->state, is_current_running());
 
         raw_spin_lock_irqsave(&state->lock, flags);
+        sup_update_time(&state->sup_env, litmus_clock());
         task_departs(tsk, is_completed(tsk));
         raw_spin_unlock_irqrestore(&state->lock, flags);
 }