diff options
| author | Stijn Buys <ingar@osirion.org> | 2011-08-07 12:13:04 +0000 |
|---|---|---|
| committer | Stijn Buys <ingar@osirion.org> | 2011-08-07 12:13:04 +0000 |
| commit | 54c7e9b4b3f5c7afe0c50654ddfb316697fbcda9 (patch) | |
| tree | 28a8e155d4306ef71aca92ca20eb09422f60f928 /src/core | |
| parent | ce680ab988559f1d4ae1fd5856cbd57283707f50 (diff) | |
Corrects infotype listing in the list_info function.
Diffstat (limited to 'src/core')
| -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) { |