get delimiter

zhangjiangqige · zhangjiangqige · commit 7d3ec5b0d9ce · 2019-11-09T20:12:58.000-05:00
diff --git a/src/main/java/org/checkerframework/languageserver/CheckExecutor.java b/src/main/java/org/checkerframework/languageserver/CheckExecutor.java
@@ -46,7 +46,7 @@ class CheckExecutor {
                 sawClasspath = true;
                 options.add(o);
                 o = it.next();
-                options.add(o + ":" + JavacWrapper.class.getProtectionDomain().getCodeSource().getLocation().getPath());
+                options.add(o + File.pathSeparator + JavacWrapper.class.getProtectionDomain().getCodeSource().getLocation().getPath());
             } else {
                 options.add(o);
             }

Original file line number	Diff line number	Diff line change
`@@ -46,7 +46,7 @@ class CheckExecutor {`
`46`	`46`	`sawClasspath = true;`
`47`	`47`	`options.add(o);`
`48`	`48`	`o = it.next();`
`49`		`- options.add(o + ":" + JavacWrapper.class.getProtectionDomain().getCodeSource().getLocation().getPath());`
	`49`	`+ options.add(o + File.pathSeparator + JavacWrapper.class.getProtectionDomain().getCodeSource().getLocation().getPath());`
`50`	`50`	`} else {`
`51`	`51`	`options.add(o);`
`52`	`52`	`}`