Yaroslav Halchenko <deb...@onerussian.com> writes: > Thank you Axel for your detailed response and IMHO this is indeed close > to an ideal (lightweight, self-cleaning, etc) resolution for this > scenario.
Of course the real lightweight, self-cleaning solution is to not do anything special as the old binary will be kept by the kernel as /proc/<serverpid>/exe and can be used to reattach as long as the server is running. But I guess that for the sake of non-Linux users, keeping a copy in /tmp is more reasonable... -- Romain Francoise <rfranco...@debian.org> http://people.debian.org/~rfrancoise/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org