fix: handle EINTR correctly in get_cpu_mask_from_sysfs

[urcu.git] / doc / examples / wfcqueue / cds_wfcq_splice.c

diff --git a/doc/examples/wfcqueue/cds_wfcq_splice.c b/doc/examples/wfcqueue/cds_wfcq_splice.c
index bb2e51229a7257f90064dcd3d1e05b25c24e4190..5e369e83291e234a9af34a33c21f46c418e85243 100644 (file)
--- a/doc/examples/wfcqueue/cds_wfcq_splice.c
+++ b/doc/examples/wfcqueue/cds_wfcq_splice.c
@@ -1,15 +1,8 @@
+// SPDX-FileCopyrightText: 2013 Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
+//
+// SPDX-License-Identifier: MIT
+
 /*
- * Copyright (C) 2013  Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
- *
- * THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY EXPRESSED
- * OR IMPLIED.  ANY USE IS AT YOUR OWN RISK.
- *
- * Permission is hereby granted to use or copy this program for any
- * purpose,  provided the above notices are retained on all copies.
- * Permission to modify the code and to distribute modified code is
- * granted, provided the above notices are retained, and a notice that
- * the code was modified is included with the above copyright notice.
- *
  * This example shows how to splice nodes from a source wfcqueue A into
  * a destination wfcqueue B.
  */
@@ -69,7 +62,7 @@ void print_queue(struct cds_wfcq_head *head,
        printf("\n");
 }
 
-int main(int argc, char **argv)
+int main(void)
 {
        int values_A[] = { -5, 42, 36, 24, };
        int values_B[] = { 200, 300, 400, };
@@ -105,5 +98,6 @@ int main(int argc, char **argv)
        print_queue(&head_A, &tail_A, "queue A content after splice");
        print_queue(&head_B, &tail_B, "queue B content after splice");
 end:
+       cds_wfcq_destroy(&head_A, &tail_A);
        return ret;
 }