Unhandled exception fix

There's a closure problem in whichServer() that causes an unhandled exception when the server can't be found (as is presently the case, as I write this). This is a trivial patch to fix the problem.