use java.io.tmpdir

jbellis · Oct 19, 2023 · 1b27fae · 1b27fae
1 parent 148c249
commit 1b27fae
Showing 1 changed file with 1 addition and 1 deletion.
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();