From: Peter H. <pet...@wh...> - 2012-12-19 03:43:17
|
This series fixes the issues we have with the tool already being in proximity when the server starts up. 1 and 2 are straightforward, but I'm not 100% sure yet if 3/3 has side-effects elsewhere. Cheers, Peter |