2006-10-31 Jose Ruiz <ruiz@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 31 Oct 2006 18:11:57 +0000 (18:11 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 31 Oct 2006 18:11:57 +0000 (18:11 +0000)
commitaaf3a95f087d99f677bd7ed8d0ca85b5ad0191b3
treea36042cc3adece3ba97ff82823b8989e6be471d3
parentebf18fc8d6b3cafae38c1bf838f7cde8f3c8a476
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@118318 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/s-tpobop.adb