Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

[fix] scheduler: priority should returns -1 if nothing to do

  • Loading branch information...
commit 5d31d945c0af3cae6e33fe64e23492234851357f 1 parent 5fdc6b9
@BourgerieQuentin BourgerieQuentin authored
Showing with 3 additions and 1 deletion.
  1. +3 −1 appruntime/scheduler/schedulerKer.ml
View
4 appruntime/scheduler/schedulerKer.ml
@@ -471,13 +471,15 @@ struct
end;
aux (nb_successive - 1)
)
+ end else if priority.n == 0 then -1
+ else
(* +2 ms to have a small upper value *)
(* otherwise we could be called just to soon *)
- end else
let t = Time.max Time.zero (Time.add t (Time.milliseconds 2)) in
Time.in_milliseconds t
| None -> -1 (* special epoll parameter: infinite wait *)
in aux Const.priority_max_successive
+
end
Please sign in to comment.
Something went wrong with that request. Please try again.