mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-02 11:07:44 +07:00
GitOrigin-RevId: 3aae5c738d48c38144f6a78c36738121831ae5a5
22 lines
515 B
Java
22 lines
515 B
Java
class Test {
|
|
void method(){
|
|
<selection>try {
|
|
process.waitFor();
|
|
}
|
|
catch(InterruptedException e) {
|
|
process.destroy();
|
|
}
|
|
finally {
|
|
try {
|
|
myParsingThread.join();
|
|
}
|
|
catch(InterruptedException e) {
|
|
}
|
|
compilerHandler.processTerminated();
|
|
}
|
|
synchronized (this) {
|
|
myParsingThread = null;
|
|
}</selection>
|
|
someOtherCode();
|
|
}
|
|
} |