[pkg-fso-maint] Bug#531869: Bug#531869: nodm can't be stopped by init.d script

[M. Dietrich]

On Fri, Jun 05, 2009 at 12:40:06PM +0200, Enrico Zini wrote:
> On Thu, Jun 04, 2009 at 06:22:38PM +0200, M. Dietrich wrote:
> 
> > if using
> > 	/etc/init.d/nodm stop
> > the session just restarts. this should entirely end the running nodm.
> 
> I have occasionally noticed this behaviour, but I have not been able to
> reproduce it to be able to debug it.
> 
> Did you find a way to reliably reproduce it all the time?

yes, i can just do a 

	kill <pid>

and it restarts. i may be a wrong reaction on signal 15.

best regards,
	michael