Commit 49961250 authored by Daniel Honsel's avatar Daniel Honsel
Browse files

removed slashes before file name 

This should be tested on a windows system as well.
parent ca57a0fe

de.ugoe.cs.swe.T3Q/config/t3q.cfg

+1 −1
Original line number Diff line number Diff line
@@ -9,7 +9,7 @@ 
      <settingRecursiveProcessing>true</settingRecursiveProcessing>

      <settingAbortOnError>true</settingAbortOnError>

      <loggingConfiguration>

        <showFullPath>false</showFullPath>

        <showFullPath>true</showFullPath>

        <showFilename>true</showFilename>

        <showMessageClass>true</showMessageClass>

        <showDetails>true</showDetails>

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 ("