Hi, On Wed, Aug 04, 2010 at 04:20:04AM -0300, Diego Nieto Cid wrote:
> +void console_switch_back(void)
> +{
> + puts("Switch back\n");
Hm... I'm slightly ambivalent about the use of puts(). It make a lot of
sense technically in this case; and now that I think about it, I wonder
why it isn't used much more often...
However, as all the other code in this file uses printf() for this
purpose, I tend to think that it might be better to stick to that for
consistency?
-antrik-
