The same problem occurs with all libraries and is really the responsibility of the sysadmin to deal with. Install debian-goodies and run checkrestart after every relevant upgrade. For desktop users the upgrade software can help, for example PackageKit:
http://blogs.gnome.org/hughsie/2007/08/23/packagekit-requiring-a-restart/ -- bye, pabs http://wiki.debian.org/PaulWise -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
