Changeset 84a1a54 in mainline for uspace/srv/bd/file_bd/file_bd.c

Timestamp:

2018-01-04T20:47:53Z (7 years ago)

Author:

Jiří Zárevúcky <zarevucky.jiri@…>

Children:

facacc71

Parents:

cde999a

Message:

Wrap returns of errno from main() with EXIT_RC().

Returns of error code from main() prevent type checking when errno_t
and int are considered incompatible. In order to avoid the philosophical
discussion of what should and shouldn't be returned for main(), we simply
wrap the error values and leave the answer to the question for future
generations to decide.

File:

• uspace/srv/bd/file_bd/file_bd.c (modified) (4 diffs)

uspace/srv/bd/file_bd/file_bd.c

@@ -47 +47 @@
 #include <stddef.h>
 #include <stdint.h>
+#include <stdlib.h>
 #include <errno.h>
 #include <str_error.h>
@@ -137 +138 @@
                 printf("%s: Unable to register device '%s': %s.\n",
                     NAME, device_name, str_error(rc));
-                return rc;
+                return EXIT_RC(rc);
         }
 
@@ -143 +144 @@
         if (rc != EOK) {
                 printf("%s: Failed resolving category 'disk': %s\n", NAME, str_error(rc));
-                return rc;
+                return EXIT_RC(rc);
         }
 
@@ -150 +151 @@
                 printf("%s: Failed adding %s to category: %s",
                     NAME, device_name, str_error(rc));
-                return rc;
+                return EXIT_RC(rc);
         }