diff --git a/dev/patchbot/scripts/post-ai.sh b/dev/patchbot/scripts/post-ai.sh index c1abc31cee..3662fc85e9 100755 --- a/dev/patchbot/scripts/post-ai.sh +++ b/dev/patchbot/scripts/post-ai.sh @@ -257,6 +257,16 @@ function updt(line,value) { updt_output(); } +function show_only(b,n,u,w,y) { + document.getElementById("sh_b").checked = !!b; + document.getElementById("sh_n").checked = !!n; + document.getElementById("sh_u").checked = !!u; + document.getElementById("sh_w").checked = !!w; + document.getElementById("sh_y").checked = !!y; + document.getElementById("show_all").checked = true; + updt(0,"r"); +} + // --> @@ -264,17 +274,17 @@ EOF echo "
" echo -n "Backported | " -echo -n "N: 0 | " -echo -n "U: 0 | " -echo -n "W: 0 | " -echo -n "Y: 0 | " +echo -n "N: 0 | " +echo -n "U: 0 | " +echo -n "W: 0 | " +echo -n "Y: 0 | " echo -n "total: 0 | " echo "
---|---|---|---|---|---|---|---|---|---|
Not backported | " -echo -n "N: 0 | " -echo -n "U: 0 | " -echo -n "W: 0 | " -echo -n "Y: 0 | " +echo -n "N: 0 | " +echo -n "U: 0 | " +echo -n "W: 0 | " +echo -n "Y: 0 | " echo -n "total: 0 | " echo "
All | CID | Subject | Verdict N U W Y | Reason |
---|---|---|---|---|
All | CID | Subject | Verdict N U W Y | Reason |