File tree Expand file tree Collapse file tree 1 file changed +2
-1
lines changed
ui/src/main/java/edu/wpi/grip/ui/util/deployment Expand file tree Collapse file tree 1 file changed +2
-1
lines changed Original file line number Diff line number Diff line change 2727import java .net .URLDecoder ;
2828import java .nio .file .Files ;
2929import java .nio .file .Paths ;
30+ import java .nio .file .StandardCopyOption ;
3031import java .util .Optional ;
3132import java .util .function .Supplier ;
3233import java .util .logging .Level ;
@@ -68,7 +69,7 @@ public Factory(
6869 try {
6970 final File coreJarInSource = new File (edu .wpi .grip .core .Main .class .getProtectionDomain ().getCodeSource ().getLocation ().toURI ().getPath ());
7071 final File newJarInTempDir = new File (new File (System .getProperty ("java.io.tmpdir" )), DEPLOYED_GRIP_FILE_NAME );
71- Files .copy (coreJarInSource .toPath (), newJarInTempDir .toPath ());
72+ Files .copy (coreJarInSource .toPath (), newJarInTempDir .toPath (), StandardCopyOption . REPLACE_EXISTING );
7273 this .coreJAR = newJarInTempDir ;
7374 } catch (URISyntaxException e ) {
7475 throw new IllegalStateException ("Could not find the main class jar file" , e );
You can’t perform that action at this time.
0 commit comments