Hi,
Romain Francoise wrote:
> > 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.
Yes and no.
First, this seems to be just some (kind of) symbolic link:
lrwxrwxrwx 1 root root 0 Jan 3 17:49 /proc/32039/exe -> /usr/bin/screen
(deleted)
And I can't really execute it, neither as the user owning the screen
session nor as root:
~ # /proc/32039/exe -ls
zsh: permission denied: /proc/32039/exe
Not sure if that's because of this fake symlink or due to other
reasons, though.
> But I guess that for the sake of non-Linux users, keeping a copy
> in /tmp is more reasonable...
That, too. Nevertheless, it would have been a tempting solution.
Regards, Axel
--
,''`. | Axel Beckert <a...@debian.org>, http://people.debian.org/~abe/
: :' : | Debian Developer, ftp.ch.debian.org Admin
`. `' | 1024D: F067 EA27 26B9 C3FC 1486 202E C09E 1D89 9593 0EDE
`- | 4096R: 2517 B724 C5F6 CA99 5329 6E61 2FF9 CD59 6126 16B5
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
