diff options
Diffstat (limited to 'data/lib/rhbzpage.js')
-rw-r--r-- | data/lib/rhbzpage.js | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/data/lib/rhbzpage.js b/data/lib/rhbzpage.js index 8d52174..bca0901 100644 --- a/data/lib/rhbzpage.js +++ b/data/lib/rhbzpage.js @@ -574,6 +574,8 @@ function fillInWhiteBoard(PCIidArrObj) { try { cardName = constantData.chipNames[PCIid][0]; } catch (e if e instanceof TypeError) { + PCIid = PCIid.toLowerCase().replace(",",":"); + postMessage(new Message("SetClipboard", PCIid.toString())); alert("PCI ID " + PCIid + " is not known!"); return ; // early termination } catch (e) { @@ -868,7 +870,7 @@ function parseBacktrace (ret) { function RHBZinit() { // inheritance ... call superobject's constructor var AbrtRE = new RegExp("^\\s*\\[abrt\\]"); - var FillMagicDoneRE = new RegExp("^\\s*\\[[0-9a-zA-Z]*\\]"); + var FillMagicDoneRE = new RegExp("^\\s*\\[[0-9a-zA-Z_]*\\]"); var btSnippet = ""; var signaturesCounter = 0; |