Searched refs:jobinfo (Results 1 – 1 of 1) sorted by relevance
325 JobInfo jobinfo = jobs.get(idx); in dump() local326 writer.printf(" %d: %s\n", idx + 1, jobinfo); in dump()332 JobInfo jobinfo = jobs.get(idx); in dump() local333 writer.printf(" %d: %s\n", idx + 1, jobinfo); in dump()