Allow pool_error to be called with no pool

In that case we just return with the specified value and
don't log anything.

diff --git a/src/pool.c b/src/pool.c
index 1d9eadc03cb15c83ddcba2283d83b1cde3888926..ba5e799c15e8e718dcbb65f4dbd2b6ccbf5b35c0 100644 (file)
--- a/src/pool.c
+++ b/src/pool.c
@@ -1517,6 +1517,9 @@ pool_error(Pool *pool, int ret, const char *format, ...)
 {
   va_list args;
   int l;
+
+  if (!pool)
+    return ret;
   va_start(args, format);
   if (!pool->errstr)
     {