(Integer pid)
| 156 | /*/ |
| 157 | |
| 158 | public static void killCommand(Integer pid) { // This is for "kill x" |
| 159 | Apps.open_windows.remove(Apps.apps.get(pid).get(0)); |
| 160 | Desktop.main_root.getChildren().remove(Apps.apps.get(pid).get(0)); |
| 161 | //Pid stuff |
| 162 | Logger.messageCustom("APP", String.format("Killed %s, PID: %s", Apps.apps.get(pid).get(1) , pid)); |
| 163 | Iterator<Integer> iterate = apps.keySet().iterator(); |
| 164 | while (iterate.hasNext()) { |
| 165 | ArrayList<Object> i = apps.get(iterate.next()); |
| 166 | iterate.remove(); |
| 167 | } |
| 168 | } |
| 169 | |
| 170 | public static int get_processID() { |
| 171 | int id_number = 1; |
no test coverage detected