Yaroslav Halchenko <[email protected]> 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 <[email protected]> http://people.debian.org/~rfrancoise/ -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
