[patch] simple workaround for duplicate output in genlop

genlop-dedup.patch (text/plain), 301 bytes, created by Ed Santiago on 2019-03-19 00:20:04 UTC

--- /usr/bin/genlop	2019/03/19 00:17:02	1.1
+++ /usr/bin/genlop	2019/03/19 00:17:48
@@ -694,7 +694,7 @@
 	my ($e_curmerge, $e_lastmerge);
 	foreach (@sandbox_procs)
 	{
-		if (m/^(.*?) \[(.*?)\-[0-9].*?\]/)
+		if (m/^(\d+) \[(.*?)\-[0-9].*?\]/)
 		{
 			push @sandbox_pids, $1;
 			push @targets, $2;