更新启动器
()
| 74 | * 更新启动器 |
| 75 | */ |
| 76 | private static void updateLauncher() { |
| 77 | File sign = new File("user/updateLauncher"); |
| 78 | if (!sign.exists()) { |
| 79 | return; |
| 80 | } |
| 81 | if (!sign.delete()) { |
| 82 | System.err.println("删除启动器更新标志失败"); |
| 83 | } |
| 84 | File launcherFile = new File("tmp/" + Constants.LAUNCH_WRAPPER_NAME); |
| 85 | if (!launcherFile.exists()) { |
| 86 | System.err.println(Constants.LAUNCH_WRAPPER_NAME + "不存在于tmp中"); |
| 87 | return; |
| 88 | } |
| 89 | EventManagement eventManagement = EventManagement.getInstance(); |
| 90 | StopDaemonEvent stopDaemonEvent = new StopDaemonEvent(); |
| 91 | eventManagement.putEvent(stopDaemonEvent); |
| 92 | if (eventManagement.waitForEvent(stopDaemonEvent)) { |
| 93 | System.err.println("更新启动器失败"); |
| 94 | } else { |
| 95 | File originLauncherFile = new File("..", Constants.LAUNCH_WRAPPER_NAME); |
| 96 | FileUtil.copyFile(launcherFile, originLauncherFile); |
| 97 | eventManagement.putEvent(new StartDaemonEvent()); |
| 98 | } |
| 99 | } |
| 100 | |
| 101 | /** |
| 102 | * 如果有更新标志，更新插件 |
no test coverage detected