various
Merge branch 'master' of https://github.com/xowor/UniSO
Merge branch 'master' of https://github.com/xowor/UniSO
fixed bug - terminating auctioneer
Merge branch 'master' of https://github.com/xowor/UniSO