[taler-sync] branch master updated: fix #8030

[gnunet]

This is an automated email from the git hooks/post-receive script.

grothoff pushed a commit to branch master
in repository sync.

The following commit(s) were added to refs/heads/master by this push:
     new cb03154  fix #8030
cb03154 is described below

commit cb03154e8b9b7c7e99bd64a4853d3be6e3d309d4
Author: Christian Grothoff <christian@grothoff.org>
AuthorDate: Sun Jan 28 19:40:20 2024 +0100

    fix #8030
---
 src/include/platform.h | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)

diff --git a/src/include/platform.h b/src/include/platform.h
index df9196e..cfc42eb 100644
--- a/src/include/platform.h
+++ b/src/include/platform.h
@@ -243,22 +243,42 @@ atoll (const char *nptr);
 
 /* LSB-style exit status codes */
 #ifndef EXIT_INVALIDARGUMENT
+/**
+ * Command-line arguments are invalid.
+ * Restarting useless.
+ */
 #define EXIT_INVALIDARGUMENT 2
 #endif
 
 #ifndef EXIT_NOTIMPLEMENTED
+/**
+ * The requested operation is not implemented.
+ * Restarting useless.
+ */
 #define EXIT_NOTIMPLEMENTED 3
 #endif
 
 #ifndef EXIT_NOPERMISSION
+/**
+ * Permissions needed to run are not available.
+ * Restarting useless.
+ */
 #define EXIT_NOPERMISSION 4
 #endif
 
 #ifndef EXIT_NOTINSTALLED
+/**
+ * Key resources are not installed.
+ * Restarting useless.
+ */
 #define EXIT_NOTINSTALLED 5
 #endif
 
 #ifndef EXIT_NOTCONFIGURED
+/**
+ * Key configuration settings are missing or invalid.
+ * Restarting useless.
+ */
 #define EXIT_NOTCONFIGURED 6
 #endif
 
@@ -267,6 +287,15 @@ atoll (const char *nptr);
 #endif
 
 
+#ifndef EXIT_NO_RESTART
+/**
+ * Exit code from 'main' if we do not want to be restarted,
+ * except by manual intervention (hard failure).
+ */
+#define EXIT_NO_RESTART 9
+#endif
+
+
 /* Ignore MHD deprecations for now as we want to be compatible
    to "ancient" MHD releases. */
 #define MHD_NO_DEPRECATION 1

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.