Changes between Version 58 and Version 59 of library_stdio

Timestamp:

Apr 4, 2015, 2:57:56 PM (9 years ago)

Author:

alain

Comment:

--

library_stdio

@@ -129 +129 @@
 
   === 2) void '''giet_tty_printf'''( char* format, ... ) ===
-This function print formated text on a private terminal that must have been allocated to the calling task in the mapping (''use_tty'' argument). Therefore,  it does not take the TTY lock. 
+This function print formated text on a private terminal that must have been allocated to the calling task by the ''get_tty_alloc()'' function. Therefore,  it does not take any lock, but checks terminal allocation. 
 Only a limited number of formats are supported:
    * %d : signed decimal
@@ -313 +313 @@
 
 
-