s-tpobop.adb (Requeue_Call): Introduce a dispatching point when requeuing to the...
authorJose Ruiz <ruiz@adacore.com>
Tue, 31 Oct 2006 18:11:57 +0000 (19:11 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 31 Oct 2006 18:11:57 +0000 (19:11 +0100)
commitc0297c47738c415689c7098946314a1c53afdaee
treea36042cc3adece3ba97ff82823b8989e6be471d3
parent15b540bec80c476a2a37f639a25797357f0172f3
s-tpobop.adb (Requeue_Call): Introduce a dispatching point when requeuing to the same protected object to...

2006-10-31  Jose Ruiz  <ruiz@adacore.com>

* s-tpobop.adb (Requeue_Call): Introduce a dispatching point when
requeuing to the same protected object to give higher priority tasks
the opportunity to execute.

From-SVN: r118318
gcc/ada/s-tpobop.adb