📄 processmanager.java
字号:
package peersim.rangesim;import java.util.*;/** * This thread is used to kill forked processes in the case of an abnormal * termination of the Java virtual machine (for example, due to a signal). */public class ProcessManager extends Thread{/** The threads that must be killed */private List<ProcessHandler> threads;public ProcessManager(){ threads = Collections.synchronizedList(new ArrayList<ProcessHandler>());}public void addThread(ProcessHandler p){ threads.add(p);}/** * Assumes that the process manager */public void joinAll(){ int i=0; while (i < threads.size()) { try { threads.get(i).join(); i++; } catch (InterruptedException e) { } }}/** * Kill the child process. */public void run(){ System.err.println("Terminating simulation."); for (int i=0; i < threads.size(); i++) { if (threads.get(i) != null) threads.get(i).doStop(); }}}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -