28 tr =
record.trace(height = 10, width = 1000, loc_nr = 1, duration = 1,
33 for line
in fileinput.input([]):
34 params = line[1:].
split()
37 name =
"out." + node +
"." + pid +
"." + time
45 time = params[0][0:19]
46 keep = record.keep(params[1])
47 elif params[0] ==
"node":
49 elif params[0] ==
"pid":
55 if __name__ ==
"__main__":
static void split(m0_bindex_t offset, int nr, bool commit)