>>>>> "Jan" == Jan Vrany <jan.vrany@fit.cvut.cz> writes: Oh, I see now, sorry about that: Jan> + if (mi_cmd_table.find (name) != mi_cmd_table.end ()) Jan> + return false; This disallows redefining a command, so it seems fine to me. Tom