Recorded PID is incorrect

[jvalteren]

When manually starting and stopping a Pharo image using pharo-ctl.sh, it saves the wrong process ID (PID) in the run-sputnik.pid file.

Example error:

jvalteren@leo:~/pharo/sputnik$ ./pharo-ctl.sh run-sputnik stop sputnik
Executing ./pharo-ctl.sh run-sputnik stop sputnik
Working directory /home/jvalteren/pharo/sputnik
Stopping run-sputnik
Killing 24624
./pharo-ctl.sh: line 76: kill: (24624) - No such process

The actual process ID is different:

jvalteren@leo:~/pharo/sputnik$ ps -ef |grep run-sputnik
jvalter+ 24305     1  7 10:32 pts/0    00:00:22 /home/jvalteren/pharo/sputnik/../bin/pharo-vm/lib/pharo/5.0-201901051900/pharo --vm-display-null /home/jvalteren/pharo/sputnik/sputnik.image /home/jvalteren/pharo/sputnik/run-sputnik.st

Might have something to do with a bash script forking off the actual Pharo VM process.