On Sat, Jun 6, 2020 at 3:13 PM Tom Tromey <tom@tromey.com> wrote: > + else if (strcmp (this_name, name) == 0 > + || strcmp (this_name, "cmd") == 0 > + || strcmp (this_name, "status") == 0) Maybe those strings should be constants somewhere? Christian