@Martin Pitt: In stead of a reboot, how about advise of a need to log out/log in. A complete restart seems like overkill when a logout/login is sufficient.
@Martin Pitt:
In stead of a reboot, how about advise of a need to log out/log in. A complete restart seems like overkill when a logout/login is sufficient.