use java.io.tmpdir

tjake · tjake · commit 1b27fae89f18 · 2023-10-19T19:14:10.000-04:00
diff --git a/jvector-examples/src/main/java/io/github/jbellis/jvector/example/IPCService.java b/jvector-examples/src/main/java/io/github/jbellis/jvector/example/IPCService.java
@@ -344,7 +344,7 @@ static void help() {
     }
 
     public static void main(String[] args) {
-        String socketFile = "/tmp/jvector.sock";
+        String socketFile = System.getProperty("java.io.tmpdir") + "/jvector.sock";
         if (args.length > 1)
             help();
 

Original file line number	Diff line number	Diff line change
`@@ -344,7 +344,7 @@ static void help() {`
`344`	`344`	`}`
`345`	`345`
`346`	`346`	`public static void main(String[] args) {`
`347`		`- String socketFile = "/tmp/jvector.sock";`
	`347`	`+ String socketFile = System.getProperty("java.io.tmpdir") + "/jvector.sock";`
`348`	`348`	`if (args.length > 1)`
`349`	`349`	`help();`
`350`	`350`