[pkg-fso-maint] Bug#638290: /etc/init.d/nodm restart does not reliably restart nodm

[Chris Lamb]

Michael Stummvoll wrote:

> this bug can easily be fixed by adding for example an "-R 5" to the
> start-stop-daemon in the stop) case on the init script (patch attached)

FYI this bug already had such a patch attached.


Regards,

-- 
      ,''`.
     : :'  :     Chris Lamb
     `. `'`      lamby at debian.org
       `-