server-tools/instance-manager/log.cc: Add pid/thread id to the each log record; split date time fields.
Attach a file by drag & drop or click to upload
