Is there a way to interrupt (cancel) a long running gdb/mi command?
Similar to what happens on Ctrl-C when gdb owns a terminal.

-- 
Dmitrii Neverov
JetBrains GmbH
Christoph-Rapparini-Bogen 23
80639 München
Handelsregister: Amtsgericht München, HRB 187151
Geschäftsführer: Olga Dyka