X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Futil.c;h=c05c582fed6fe2e0b4481aa01cfeb1a05e1f23a4;hb=d4da3acc2a788d1c1b78c0bea6399660c7851f4a;hp=b9dbdc48063164e1755c0c887901cd2f6d621306;hpb=c1c8308a3971526f5126201a6d1659c9247c1f0a;p=openvswitch

diff --git a/lib/util.c b/lib/util.c
index b9dbdc48..c05c582f 100644
--- a/lib/util.c
+++ b/lib/util.c
@@ -204,9 +204,14 @@ ovs_fatal(int err_no, const char *format, ...)
     va_list args;
 
     va_start(args, format);
-    ovs_error_valist(err_no, format, args);
-    va_end(args);
+    ovs_fatal_valist(err_no, format, args);
+}
 
+/* Same as ovs_fatal() except that the arguments are supplied as a va_list. */
+void
+ovs_fatal_valist(int err_no, const char *format, va_list args)
+{
+    ovs_error_valist(err_no, format, args);
     exit(EXIT_FAILURE);
 }