[Freeciv-Dev] (PR#6605) memory leak in server (readline)

["Jason Short" <jdorje@xxxxxxxxxxxxxxxxxxxxx>]

==8657== 40 bytes in 2 blocks are definitely lost in loss record 5 of 18
==8657==    at 0x40160749: malloc (vg_clientfuncs.c:103)
==8657==    by 0x40310A21: xmalloc (in /usr/lib/libreadline.so.4.3)
==8657==    by 0x40313EC2: sh_set_lines_and_columns (in 
/usr/lib/libreadline.so.4.3)
==8657==    by 0x4030D3B2: _rl_get_screen_size (in 
/usr/lib/libreadline.so.4.3)
==8657==    by 0x4030D79D: _rl_init_terminal_io (in 
/usr/lib/libreadline.so.4.3)==8657==    by 0x402FBBEA: 
readline_initialize_everything (in /usr/lib/libreadline.so.4.3)
==8657==    by 0x402FBB54: rl_initialize (in /usr/lib/libreadline.so.4.3)
==8657==    by 0x809C540: sniff_packets (sernet.c:357)
==8657==    by 0x804FAAC: main_loop (srv_main.c:1480)
==8657==    by 0x80503E4: srv_loop (srv_main.c:1812)
==8657==    by 0x804FE68: srv_main (srv_main.c:1599)
==8657==    by 0x804A27B: main (civserver.c:154)
==8657==    by 0x403A04EC: __libc_start_main (in /lib/libc-2.3.2.so)
==8657==    by 0x8049C60: (within /tmp/jshort/freeciv/server/civserver)

Of course this leak only happens once.  It seems this is a bug in 
readline, or are we missing some uninitialize function?

jason