diff options
-rw-r--r-- | src/core/commandbuffer.cc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/core/commandbuffer.cc b/src/core/commandbuffer.cc index c4777d4..9757cb9 100644 --- a/src/core/commandbuffer.cc +++ b/src/core/commandbuffer.cc @@ -82,6 +82,11 @@ void func_list_info(std::string const &args) con_print << "Unknown info record '" << typestr << "'" << std::endl; } else { + if (!infotype) { + con_print << "Unknown info type '" << typestr << "'" << std::endl; + return; + } + // two arguments info = Info::find(infotype, labelstr); if (info) { |