[Freeciv-Dev] server 1.11.0 crashes (PR#451)

[Jeff Mallatt <jjm@xxxxxxxxxxxx>]

Full_Name: Jeff Mallatt
Version: 1.11.0
Distribution: Built from source
Client: Both (or N/A)

Actually from Reinier Post <rp@xxxxxxxxxx>.  I thought it important enough
to forward to JitterBug.

Just to let you know that 1.11.0 crashes; I've analysed one corefile
and it crashed in handle_worklist() (for an AI player!)

We don't save the corefiles and savegames on crashes on civserver.freeciv.org
yet, but I will try to change the scripts to do so.

  Reinier