On 04/10/2014 05:14 PM, Martin Frb wrote: > > > Or do you have another way? > A wild Idea might be to open two SSH sessions: one for gdb (maybe in sync mode of this makes sense), and another that just accesses a little SIGINTServer application that is used to send the signal when appropriate.. -Michael