gustafn
committed
on 01 Nov 20
make proxy exec more compatible with tcl exec: support flags "-ignorestderr" and "--"