From 4065e7b4b7286614abb1061cc6b9c5abf5c2ae52 Mon Sep 17 00:00:00 2001 From: francescomani Date: Thu, 16 Feb 2023 16:03:02 +0100 Subject: [PATCH] adding thread pool patch --- common/utils/threadPool/thread-pool.h | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/common/utils/threadPool/thread-pool.h b/common/utils/threadPool/thread-pool.h index 273c832662..656c68f529 100644 --- a/common/utils/threadPool/thread-pool.h +++ b/common/utils/threadPool/thread-pool.h @@ -291,7 +291,8 @@ static inline notifiedFIFO_elt_t *pullTpool(notifiedFIFO_t *responseFifo, tpool_ msg->returnTime=rdtsc_oai(); if (t->traceFd > 0) - if(write(t->traceFd, msg, sizeof(*msg))); + if(write(t->traceFd, msg, sizeof(*msg))) + {}; return msg; } @@ -306,7 +307,8 @@ static inline notifiedFIFO_elt_t *tryPullTpool(notifiedFIFO_t *responseFifo, tpo msg->returnTime=rdtsc_oai(); if (t->traceFd) - if(write(t->traceFd, msg, sizeof(*msg))); + if(write(t->traceFd, msg, sizeof(*msg))) + {}; return msg; }