From 77968f15e721eedad149b43c86d2e4d97a4b85c7 Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Thu, 1 Dec 2022 15:20:31 +0100 Subject: [PATCH] Remove commented out code in CliStarter --- de.prob.core/src/de/prob/cli/CliStarter.java | 24 -------------------- 1 file changed, 24 deletions(-) diff --git a/de.prob.core/src/de/prob/cli/CliStarter.java b/de.prob.core/src/de/prob/cli/CliStarter.java index c612de78..ce3440ae 100644 --- a/de.prob.core/src/de/prob/cli/CliStarter.java +++ b/de.prob.core/src/de/prob/cli/CliStarter.java @@ -265,30 +265,6 @@ public final class CliStarter { throw new CliException("Input/output error when trying t find '" + fileURL + "'"); } - - // final Path path = new Path("prob"); - // final URL fileURL = FileLocator.find( - // Activator.getDefault().getBundle(), path, null); - // if (fileURL == null) { - // throw new CliException( - // "Unable to find directory with prob executables."); - // } - // URL resolved; - // try { - // resolved = FileLocator.resolve(fileURL); - // } catch (IOException e2) { - // throw new CliException("Input/output error when trying t find '" - // + fileURL + "'"); - // } - // URI uri; - // try { - // uri = new URI(resolved.getProtocol(), resolved.getPath(), null); - // } catch (URISyntaxException e1) { - // throw new CliException("Unable to construct file '" - // + resolved.getPath() + "'"); - // } - // - // return new File(uri); } private static class OutputLoggerThread extends Thread { -- GitLab