# HG changeset patch
# User Florian Pose
# Date 1517925494 -3600
# Node ID 4f5ae7e0fbaa0d31375bc514e3cb155ba801fa69
# Parent  2b072c95b34c01056cf67f4abcfa3cef5215b254
Use sched_setscheduler() to set priority in user example.

diff -r 2b072c95b34c -r 4f5ae7e0fbaa examples/user/main.c
--- a/examples/user/main.c	Tue Jan 30 17:09:33 2018 +0100
+++ b/examples/user/main.c	Tue Feb 06 14:58:14 2018 +0100
@@ -37,6 +37,7 @@
 #include <unistd.h>
 #include <time.h> /* clock_gettime() */
 #include <sys/mman.h> /* mlockall() */
+#include <sched.h> /* sched_setscheduler() */
 
 /****************************************************************************/
 
@@ -353,10 +354,12 @@
 
     /* Set priority */
 
-    pid_t pid = getpid();
-    if (setpriority(PRIO_PROCESS, pid, -19)) {
-        fprintf(stderr, "Warning: Failed to set priority: %s\n",
-                strerror(errno));
+    struct sched_param param = {};
+    param.sched_priority = sched_get_priority_max(SCHED_FIFO);
+
+    printf("Using priority %i.", param.sched_priority);
+    if (sched_setscheduler(0, SCHED_FIFO, &param) == -1) {
+        perror("sched_setscheduler failed");
     }
 
     /* Lock memory */