From eb112061f5db0deb440d243f4553560a68cc4837 Mon Sep 17 00:00:00 2001
From: Florian Pose <fp@igh.de>
Date: Tue, 14 Oct 2008 08:39:09 +0000
Subject: [PATCH] Replaced sleep() with pause().

---
 examples/user/main.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/user/main.c b/examples/user/main.c
index abc45f96..b43a019d 100644
--- a/examples/user/main.c
+++ b/examples/user/main.c
@@ -374,7 +374,7 @@ int main(int argc, char **argv)
 
     printf("Started.\n");
 	while (1) {
-        sleep(1); // always interrupted by SIGALRM
+        pause();
 
 #if 0
         struct timeval t;