From c353cabe07959b4f4900d9981645af8339759564 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Wed, 20 Oct 2021 16:04:10 +0200
Subject: [PATCH] -nicer data types

---
 src/mhd/mhd_run.c | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/mhd/mhd_run.c b/src/mhd/mhd_run.c
index 8141390c9..cb073e831 100644
--- a/src/mhd/mhd_run.c
+++ b/src/mhd/mhd_run.c
@@ -29,9 +29,9 @@
 
 
 /**
- * Set if we should immediately MHD_run() again.
+ * Set to true if we should immediately MHD_run() again.
  */
-static int triggered;
+static bool triggered;
 
 /**
  * Task running the HTTP server.
@@ -63,10 +63,10 @@ run_daemon (void *cls)
 {
   mhd_task = NULL;
   do {
-    triggered = 0;
+    triggered = false;
     GNUNET_assert (MHD_YES ==
                    MHD_run (mhd));
-  } while (0 != triggered);
+  } while (triggered);
   mhd_task = prepare_daemon ();
 }
 
@@ -166,7 +166,7 @@ TALER_MHD_daemon_trigger (void)
   }
   else
   {
-    triggered = 1;
+    triggered = true;
   }
 }