mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-26 15:27:45 +07:00
Leonid Shalupovandintellij-monorepo-bot
40795fe787
GitOrigin-RevId: 8b2b63fc6db476ca0c2cfe5cadd84db6c4236d0f
9 lines
316 B
HTML
9 lines
316 B
HTML
<html>
|
|
<body>
|
|
Reports calls to <code>Thread.setPriority()</code>.
|
|
Modifying priorities of threads is an inherently non-portable operation, as no guarantees
|
|
are given in the Java specification of how priorities are used in scheduling threads, or even
|
|
whether they are used at all.
|
|
<!-- tooltip end -->
|
|
</body>
|
|
</html> |