madhuneal / ppss

Automatically exported from code.google.com/p/ppss
0 stars 0 forks source link

No way to keep track of the PID when starting the server using Ubuntu Upstart #69

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago
What steps will reproduce the problem?
1. Create Upstart script for ppss, with --daemon option for ppss and the 
"expect daemon" upstart config option
2. Start new service with sudo start ppss
3. Stop with sudo stop ppss

What is the expected output? What do you see instead?
The start command reports the wrong PID. So, when you try to stop it with "stop 
ppss" it hangs, because it cannot keep track of ppss's correct PID.

What version of the product are you using? On what operating system?
PPSS 2.97
Ubuntu Server 12.04 (Upstart v1.5)

Please provide any additional information below.
My first thought is to use a PID file, but I don't see an option for ppss to 
output it's PIDs to a file.

Original issue reported on code.google.com by pretende...@gmail.com on 2 Feb 2013 at 9:37

GoogleCodeExporter commented 9 years ago
I was able to work around this by removing "expect daemon" from the upstart 
script and adding "kill signal INT". But, the infanticide function no longer 
finds any child processes.

Original comment by pretende...@gmail.com on 3 Feb 2013 at 5:10