os.proc pid to be killed later

[chpache]

Hello there!
I quite new to mill and really like it. I have the case where I would let my user start some process with one command stop this process with another command. I would need to get the id of this proc and store it in a file to be able to stop it later. Would it be possible?

[lefou]

Yeah, that would be very useful. Unfortunately, Java 8 does not come with easy access to that information, but we currently try to keep compatible to Java 8.

But it looks like there is some support since Java 9 via Process.pid().

Question is, how to handle it in a compatible way? We could use reflection to dynamically support it at runtime, but we need to reflect that in the API. Also, question is, whether this can work at all in Scala native (or Scala.js)?

Any feedback is appreciated.