Searched refs:ws (Results 1 – 2 of 2) sorted by relevance
59 ws = concurrent.futures.wait(fs, return_when=concurrent.futures.FIRST_COMPLETED)60 fs = ws.not_done61 done = list(map(lambda a: a.result(), ws.done))
238 int ws = trimmed.indexOf(' '); in readFromReader() local240 if (ws == -1 || sep == -1) { in readFromReader()244 String type = trimmed.substring(0, ws); in readFromReader()245 String clearName = trimmed.substring(ws + 1, sep); in readFromReader()