From 23a253aa50a6fabc968057fd564ad8598099ac0b Mon Sep 17 00:00:00 2001
From: Yorick Barbanneau <ephase@xieme-art.org>
Date: Thu, 14 Oct 2021 00:01:57 +0200
Subject: [PATCH] Replace printf with DEBUG

---
 code/userprog/exception.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/code/userprog/exception.cc b/code/userprog/exception.cc
index e852696..1827a5e 100644
--- a/code/userprog/exception.cc
+++ b/code/userprog/exception.cc
@@ -165,10 +165,10 @@ ExceptionHandler (ExceptionType which)
             do {
                 char* write = new char[MAX_STRING_SIZE];
                 consoledriver->GetString(write, MAX_STRING_SIZE);
-                printf("write:%s:\n", write);
+                DEBUG('s', "write:%s:\n", write);
                 writesize = copyStringToMachine(addr, write, MAX_STRING_SIZE);
                 addr += writesize;
-                printf("Writed:%d\n", writesize);
+                DEBUG('s', "Writed:%d\n", writesize);
                 delete [] write;
             } while( writesize == MAX_STRING_SIZE - 1 );
             break;