Fix usage of memory after free in -replace option
authorH.G.Muller <hgm@hgm-xboard.(none)>
Fri, 13 Jan 2017 12:26:44 +0000 (13:26 +0100)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Fri, 13 Jan 2017 15:39:25 +0000 (16:39 +0100)
commit4440c1bb156f64d3615f1c1e91ff5fbf2d7d9ca5
tree01738eff35522d8053eec1a43440a7557e289680
parent6af61ce31b024cb65ba65e3b22586bc12839915d
Fix usage of memory after free in -replace option

The code for implementing the -replace option was using a string after
its memory was freed, which might not work in all allocation systems.
args.h