Add unknown PCI ID to the clipboard.

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;