Comment 100 for bug 468589

Hello Agostino, I too discovered the bug of 9.10 not stopping or restarting properly after a distribution upgrade. I applied your fix (item 19) and, lo and behold, it works flawlessly! As I am an absolute beginner in the Linux realm, I wanted to avoid a clean install for the time being. Thank you very much for your excellent guideline.