From fa9ea6fd51197057a3f1dea701ee8f996200e59b Mon Sep 17 00:00:00 2001
From: vscosta <vsc@dcc.fc.up.pt>
Date: Mon, 10 Nov 2014 02:00:10 +0000
Subject: [PATCH] waenings

---
 console/LGPL/pl-ntmain.c | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

diff --git a/console/LGPL/pl-ntmain.c b/console/LGPL/pl-ntmain.c
index a9da3abc3..fed5daa3a 100755
--- a/console/LGPL/pl-ntmain.c
+++ b/console/LGPL/pl-ntmain.c
@@ -270,18 +270,18 @@ registerConsole(rlc_console c)
 }
 
 
-static void
-closeConsoles(void)
-{ int i;
-  rlc_console *p;
+/* static void */
+/* closeConsoles(void) */
+/* { int i; */
+/*   rlc_console *p; */
 
-  LOCK();
-  for(i=0, p=consoles; i<consoles_length; i++, p++)
-  { if ( *p )
-      rlc_close(*p);
-  }
-  UNLOCK();
-}
+/*   LOCK(); */
+/*   for(i=0, p=consoles; i<consoles_length; i++, p++) */
+/*   { if ( *p ) */
+/*       rlc_close(*p); */
+/*   } */
+/*   UNLOCK(); */
+/* } */
 
 
 		 /*******************************