Re: paused

[Ethan M. <merritt@u.washington.edu>]

On Sunday 31 January 2010, Petr Mikulik wrote:
> There is a bug in
> 	pause -1
> which appears on Windows only:
> 
> pause -1
>   ... prints "paused"
> pause -1 "hello"
>   ... prints "hello"
> pause -1
>   ... prints "hello" instead of "paused"
> 
> The fix in command.c is easy:
>     if (END_OF_COMMAND) {
> 	free(buf);
> 	buf = gp_strdup("Pausing...");
> 
> My question is: wouldn't "Pausing..." instead of "paused" be a better 
> message?

Why?  It has already paused by the time it prints the message.