Bug#62557: patch] #! doubles first character of argument

[Marcus Brinkmann]

On Mon, Apr 17, 2000 at 05:56:25PM +0300, Kalle Olavi Niemitalo wrote:
> Or is it possible to run another exec server and debug that?

There was the idea of a user setting an exec server with EXECSERVER, but I
think it is not implemented.

What you can always do is boot a subhurd, and debug critical servers with
gdb running outside the subhurd.

Thanks,
Marcus