Choose a port number based on PID

2023-06-11 11:41:48 +02:00 · 2023-06-11 11:41:48 +02:00 · 24f91e9bec
parent caa11f20ea
commit 24f91e9bec
1 changed files with 2 additions and 1 deletions
--- a/ocaml/qp_run.ml
+++ b/ocaml/qp_run.ml
@ -38,7 +38,8 @@ let run slave ?prefix exe ezfio_file =
      | Unix.Unix_error _ -> try_new_port (port_number+100)
    in
    let result =
-      try_new_port 41279
+      let port = 10*(Unix.getpid () mod 2823) + 32_769 in
+      try_new_port port
    in
    Zmq.Socket.close dummy_socket;
    Zmq.Context.terminate zmq_context;