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 debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/aanlktim9vat9tt3er2uhdziox-nw_xm-nimatdkju...@mail.gmail.com