# examining core.12922 in /games/276557/. ...
# using $FREECIV_PATH /home/freeciv/.freeciv/code/installed/web/stable/freeciv-1.14.1+ourown+newdead+slowai+gen6v11+endyear/share/freeciv
# running: (echo bt; echo quit; exec yes '') | gdb  /home/freeciv/.freeciv/code/installed/web/stable/freeciv-1.14.1+ourown+newdead+slowai+gen6v11+endyear/share/freeciv/../../bin/civserver core.12922
GNU gdb Red Hat Linux (5.2-2)
Copyright 2002 Free Software Foundation, Inc.
GDB is free software, covered by the GNU General Public License, and you are
welcome to change it and/or distribute copies of it under certain conditions.
Type "show copying" to see the conditions.
There is absolutely no warranty for GDB.  Type "show warranty" for details.
This GDB was configured as "i386-redhat-linux"...
Core was generated by `/home/freeciv/.freeciv/code/installed/web/stable/freeciv-1.14.1+ourown+newdead+'.
Program terminated with signal 11, Segmentation fault.
Reading symbols from /lib/libm.so.6...done.
Loaded symbols for /lib/libm.so.6
Reading symbols from /usr/lib/libz.so.1...done.
Loaded symbols for /usr/lib/libz.so.1
Reading symbols from /lib/libc.so.6...done.
Loaded symbols for /lib/libc.so.6
Reading symbols from /lib/ld-linux.so.2...done.
Loaded symbols for /lib/ld-linux.so.2
Reading symbols from /lib/libnss_files.so.2...done.
Loaded symbols for /lib/libnss_files.so.2
Reading symbols from /lib/libnss_nisplus.so.2...done.
Loaded symbols for /lib/libnss_nisplus.so.2
Reading symbols from /lib/libnsl.so.1...done.
Loaded symbols for /lib/libnsl.so.1
Reading symbols from /lib/libnss_dns.so.2...done.
Loaded symbols for /lib/libnss_dns.so.2
Reading symbols from /lib/libresolv.so.2...done.
Loaded symbols for /lib/libresolv.so.2
Reading symbols from /usr/lib/gconv/ISO8859-1.so...done.
Loaded symbols for /usr/lib/gconv/ISO8859-1.so
#0  ai_manage_government (pplayer=0x1bc) at aihand.c:320
320	  if (pplayer->government == goal) {
(gdb) #0  ai_manage_government (pplayer=0x1bc) at aihand.c:320
#1  0x080af888 in ai_do_last_activities (pplayer=0x8130b44) at aihand.c:376
#2  0x0804cdcb in end_turn () at srv_main.c:487
#3  0x0804ec08 in main_loop () at srv_main.c:1837
#4  0x0804f1e8 in srv_main () at srv_main.c:2090
#5  0x08049b31 in main (argc=9, argv=0xbffff534) at civserver.c:153
#6  0x400641c4 in __libc_start_main () from /lib/libc.so.6
(gdb)