Re: [Bug-gnubg] GNUBg Win32 Index

[Gary Wong]

On Fri, Jan 24, 2003 at 04:37:40PM +0100, Nardy Pillards wrote:
> If the name of the player has a space in it, you'll get 'permission denied',
> because the part of the name before the space isn't found.
> Work around:
> Edit / Enter Command
> 
> record erase "this is the name"
> 
> (name between  ' " " )

Is that still true with the latest code?  It should have been fixed
on 030111.

Cheers,
Gary.
-- 
   Gary Wong           address@hidden           http://www.cs.arizona.edu/~gary/