olafbuddenha...@gmx.net, le Wed 11 Aug 2010 07:59:13 +0200, a écrit :
> 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 t
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 use
