Changes in kernel/generic/src/console/console.c [da1bafb:d99c1d2] in mainline

File:

• kernel/generic/src/console/console.c (modified) (3 diffs)

kernel/generic/src/console/console.c

@@ -62 +62 @@
 /** Kernel log initialized */
 static bool klog_inited = false;
-
 /** First kernel log characters */
 static size_t klog_start = 0;
-
 /** Number of valid kernel log characters */
 static size_t klog_len = 0;
-
 /** Number of stored (not printed) kernel log characters */
 static size_t klog_stored = 0;
-
 /** Number of stored kernel log characters for uspace */
 static size_t klog_uspace = 0;
@@ -88 +84 @@
 };
 
-static void stdout_write(outdev_t *, wchar_t, bool);
-static void stdout_redraw(outdev_t *);
+static void stdout_write(outdev_t *dev, wchar_t ch, bool silent);
+static void stdout_redraw(outdev_t *dev);
 
 static outdev_operations_t stdout_ops = {
@@ -178 +174 @@
                 stdout->op->redraw(stdout);
         
-        if ((stdin) && (prev)) {
-                /*
-                 * Force the console to print the prompt.
-                 */
+        /* Force the console to print the prompt */
+        if ((stdin) && (prev))
                 indev_push_character(stdin, '\n');
-        }
 }