diff options
| author | Mattias Andrée <maandree@operamail.com> | 2015-08-25 09:00:06 +0200 |
|---|---|---|
| committer | Mattias Andrée <maandree@operamail.com> | 2015-08-25 09:00:06 +0200 |
| commit | 527c082c88390fde29f555fe3720e0d55d9edc34 (patch) | |
| tree | 141242290d3cfc1fc6fe280ebd4e77477943a4f7 /src/mds-server/mds-server.h | |
| parent | m + attributes (diff) | |
| download | mds-527c082c88390fde29f555fe3720e0d55d9edc34.tar.gz mds-527c082c88390fde29f555fe3720e0d55d9edc34.tar.bz2 mds-527c082c88390fde29f555fe3720e0d55d9edc34.tar.xz | |
attributes
Signed-off-by: Mattias Andrée <maandree@operamail.com>
Diffstat (limited to '')
| -rw-r--r-- | src/mds-server/mds-server.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/mds-server/mds-server.h b/src/mds-server/mds-server.h index 471eb34..42b610a 100644 --- a/src/mds-server/mds-server.h +++ b/src/mds-server/mds-server.h @@ -46,6 +46,7 @@ void* slave_loop(void* data); * @param length The length of the message * @param sender The original sender of the message */ +__attribute__((nonnull)) void queue_message_multicast(char* message, size_t length, client_t* sender); /** @@ -53,7 +54,8 @@ void queue_message_multicast(char* message, size_t length, client_t* sender); * * @param args The arguments to the child process */ -void run_initrc(char** args) __attribute__((noreturn)); +__attribute__((noreturn, nonnull)) +void run_initrc(char** args); #endif |