# HG changeset patch
# User Florian Pose <fp@igh-essen.com>
# Date 1223973549 0
# Node ID 72e04173691ffa81d5efe61b2e78205bb3c3be6b
# Parent  9a43991c2115ffb0345baf31ad1d91e90aab88fa
Replaced sleep() with pause().

diff -r 9a43991c2115 -r 72e04173691f examples/user/main.c
--- a/examples/user/main.c	Fri Oct 10 09:56:32 2008 +0000
+++ b/examples/user/main.c	Tue Oct 14 08:39:09 2008 +0000
@@ -374,7 +374,7 @@
 
     printf("Started.\n");
 	while (1) {
-        sleep(1); // always interrupted by SIGALRM
+        pause();
 
 #if 0
         struct timeval t;