Diff: eprintf.c

Revision:

0:4843fcdba3cc

Child:

1:50fdadc001ef

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/eprintf.c	Thu Jun 23 10:21:40 2011 +0000
@@ -0,0 +1,40 @@
+#ifndef  __os_printf_c__ 
+ #define __os_printf_c__ 
+ 
+#include "eprintf.h" 
+
+void printf_verarbeitung (void) 
+  {
+    //char c; 
+      // Den printf-Buffer leeren (ausgeben) 
+      // Das wird nur hier einzig und allein gemacht! 
+    /* while (printbuffer->anzahl) 
+         { 
+           c = getchar_from_ringbuffer (printbuffer); 
+           putchar (stderror, c); 
+         } 
+    */ 
+    
+  } 
+  
+  // Definition wie printf selber
+  
+int eprintf (char *format, ...) 
+  { /*
+    os.GetResource (RES_PRINTF); 
+      // "fast voll" muss um _"Warning: Printbuffer voll!\n\r"_ = 32 Zeichen groesser sein! 
+    if (!printfbuffer_fast_voll()) 
+      {
+         printf_in_buffer (format); 
+      } 
+     else  
+      { 
+        printf_in_buffer ("Warning: Printbuffer voll!\n\r"); 
+      } 
+    os_ReleaseResource 8RES_PRINTF); 
+    */
+   return 0; 
+  } 
+ 
+
+#endif // von ifndef __os_printf_c__