String op=req.getParameter("op");
if("workers".equals(op)){
Map<Channel, MasterWorkerHolder> workers=context.getWorkers();
SimpleDateFormat format=new SimpleDateFormat("yyyy-MM-dd hh:mm:ss");
for(Channel channel:workers.keySet()){
MasterWorkerHolder holder=workers.get(channel);
Set<String> runnings=holder.getRunnings().keySet();
Set<String> manualRunnings=holder.getManualRunnings().keySet();
Set<String> debugRunnings=holder.getDebugRunnings().keySet();
HeartBeatInfo heart=holder.getHeart();
resp.getWriter().println(channel.getRemoteAddress()+":");
resp.getWriter().println("\t runnings:"+runnings.toString());
resp.getWriter().println("\t manual runnings:"+manualRunnings.toString());
resp.getWriter().println("\t debug runnings:"+debugRunnings.toString());
resp.getWriter().println("\t heart beat: ");