From 280146e14d69a814a81db2c09bf33b395c542ead Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 25 Oct 2004 00:13:24 +0000
Subject: [PATCH] Improve implementation of puts().

---
 src/lib/user/console.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/lib/user/console.c b/src/lib/user/console.c
index d2b9dc7..22bdc8c 100644
--- a/src/lib/user/console.c
+++ b/src/lib/user/console.c
@@ -1,4 +1,5 @@
 #include <stdio.h>
+#include <string.h>
 #include <syscall.h>
 #include <syscall-nr.h>
 
@@ -29,8 +30,7 @@ hprintf (int handle, const char *format, ...)
 int
 puts (const char *s) 
 {
-  while (*s != '\0')
-    putchar (*s++);
+  write (STDOUT_FILENO, s, strlen (s));
   putchar ('\n');
 
   return 0;
-- 
2.30.2