diff --git a/tools/monitor.cpp b/tools/monitor.cpp index a95e8ee..e602ba0 100644 --- a/tools/monitor.cpp +++ b/tools/monitor.cpp @@ -99,7 +99,8 @@ int main(int argc, char *argv[]) if(verbose) std::cout<<"Effective config\n"<> workqueue(argc-optind); + // space for every subscription and one more for SigInt + MPMCFIFO> workqueue(argc-optind+1); std::list ops; int remaining = argc-optind;