206207208209210211212213214215216
if (keepRunningKeelDirectServer == false) { continue; } request = dsreq.deserialize(requestBytes); // MultiThreadedProcessor processor = // new MultiThreadedProcessor(request, replyChannel); // pool.execute (processor);