Bug#62557: marked as done ([patch] #! doubles first character of argument)

2000-07-20 Thread Debian Bug Tracking System
Your message dated Thu, 20 Jul 2000 23:56:37 +0200 with message-id <[EMAIL PROTECTED]> and subject line done has caused the attached Bug report to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the

Re: hijacking this thread (was: Re: trivial bugs in usermux

2000-07-20 Thread Thomas Bushnell, BSG
Marcus Brinkmann <[EMAIL PROTECTED]> writes: > while you are at bug fixing, can I draw your attention to Kalles fix to > the exec server? I applied the fix to the last Debian package of the Hurd, > and it works quite well. Done.

Re: debugging the exec server

2000-07-20 Thread Thomas Bushnell, BSG
Marcus Brinkmann <[EMAIL PROTECTED]> writes: > I have successfully attached gdb to the primary exec server (pid 5), but it > is quite unstable, and not recommended. It depends on exactly what you're debugging, but it is risky, like debugging the / filesystem is risky.