Searched refs:launchFile (Results 1 – 1 of 1) sorted by relevance
1271 File launchFile = null; in run() local1284 launchFile = File.createTempFile(LAUNCH_SCRIPT_NAME, ".sh"); in run()1285 launchFile.setExecutable(true); in run()1286 try (FileOutputStream stream = new FileOutputStream(launchFile); in run()1294 launchCmd = launchFile.getAbsolutePath(); in run()1310 if (launchFile != null) { in run()1311 launchFile.delete(); in run()