rtspin: transition back to non-real-time mode

rtspin produces prettier schedules if it transitions to non-real-time
mode before terminating.

1 files changed, 4 insertions, 0 deletions

diff --git a/bin/rtspin.c b/bin/rtspin.c
index 5e45fb7..649da45 100644
--- a/bin/rtspin.c
+++ b/bin/rtspin.c
@@ -264,5 +264,9 @@ int main(int argc, char** argv)
         /* 90% wcet, in seconds */
         while (job(wcet_ms * 0.0009, start + duration));
 
+        ret = task_mode(BACKGROUND_TASK);
+        if (ret != 0)
+                bail_out("could not become regular task (huh?)");
+
         return 0;
 }