doc & miscellaneous changes

gcontini

2020-10-31 510d41ff7d12c8a8ba230d3b3f732b19a20f15e3

 src/library/base/logger.cpp

@@ -56,7 +56,6 @@
   }
   buffer = (char *) malloc(sizeof(char) * strlen(format) + 64);
   timenow(buffer);
   sprintf(&buffer[strlen(buffer) - 1], "-[%d]-", getpid());
   strcat(buffer, format);
   va_start(args, format);
   vfprintf(logFile, buffer, args);