From c45ad0d9abb601e853b8b1cd07446668c9753e9e Mon Sep 17 00:00:00 2001
From: =?utf8?q?Franti=C5=A1ek=20Dvo=C5=99=C3=A1k?= <valtri@civ.zcu.cz>
Date: Wed, 5 Sep 2012 14:04:42 +0000
Subject: [PATCH] Missing header (not sure if it caused problems, but there
 were mysterious crash around va_start()).

---
 org.glite.lb.client/src/producer.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/org.glite.lb.client/src/producer.c b/org.glite.lb.client/src/producer.c
index b422d64..97ea904 100644
--- a/org.glite.lb.client/src/producer.c
+++ b/org.glite.lb.client/src/producer.c
@@ -25,6 +25,7 @@ limitations under the License.
 #include <fcntl.h>
 #include <netinet/in.h>
 #include <syslog.h>
+#include <stdarg.h>
 #include <string.h>
 
 #include "glite/jobid/cjobid.h"
-- 
1.8.2.3