Commit 14a6de3d authored by Daniel Honsel's avatar Daniel Honsel
Browse files

fix for windows

parent 49961250

de.ugoe.cs.swe.T3Q/src/de/ugoe/cs/swe/T3Q/TTCN3ResourceProvider.java

+1 −1
Original line number Diff line number Diff line
@@ -85,7 +85,7 @@ public class TTCN3ResourceProvider { 
		System.out.println("Parsing file: " + f.getPath() + " (LOC: " + lines + ") ...");

		stopwatch.start();

		String path = f.getAbsolutePath();

		resourceSet.getResource(URI.createURI("file:" + path), true);

		resourceSet.getResource(URI.createURI("file:///" + path), true);

		stopwatch.stop();



		System.out.println("      ...done in " + stopwatch.elapsed(TimeUnit.MILLISECONDS) + "ms ("

de.ugoe.cs.swe.TTCN3Configuration/src/de/ugoe/cs/swe/common/logging/LoggingInterface.java

+1 −1
Original line number Diff line number Diff line
@@ -72,7 +72,7 @@ public class LoggingInterface { 
		logMessage.setPrefix(this.getConfiguration().getLogOutputPrefix());



		if (uri != null && this.getConfiguration().isShowFilename() && this.getConfiguration().isShowFullPath()) {

			logMessage.setFilename(uri.devicePath());

			logMessage.setFilename(uri.devicePath().replaceFirst("///", ""));

		} else if (uri != null && this.getConfiguration().isShowFilename()) {

			String path = uri.devicePath();

			File file = new File(path);