close socket if request_mgr fails
[brisk.git] / bin / 3fire.sh
2013-11-03 Matteo Nastasi ... Merge branch 'tournaments' v4.10.0
2013-09-25 Matteo Nastasi ... 3fire.sh script added