[Freeciv-Dev] Re: (PR#12900) pubserver crash in /start

["Jason Short" <jdorje@xxxxxxxxxxxxxxxxxxxxx>]

<URL: http://bugs.freeciv.org/Ticket/Display.html?id=12900 >

Mike Kaufman wrote:
> <URL: http://bugs.freeciv.org/Ticket/Display.html?id=12900 >
> 
> On Tue, Apr 26, 2005 at 10:13:39AM -0700, Jason Short wrote:
> 
>><URL: http://bugs.freeciv.org/Ticket/Display.html?id=12900 >
>>
>>I knew something was wrong.  I tested this with observers, but if you
>>/detach and then press /start you'll cause a server crash.  This patch
>>should fix it (I will commit immediately).
> 
> I'm not sure about this patch. If a connection detaches, then call->player
> should always be NULL.

Exactly.

-jason