Bug 1043531 - Let frontend deal properly with PluginCrashed without a browser dump id. r=ttaubert

This commit is contained in:
Georg Fritzsche 2014-07-28 16:17:00 +02:00
parent 1152e6ea27
commit 9caa9394be

View File

@ -1162,7 +1162,13 @@ var gPluginHandler = {
let submitReports = true; // XXX followup for .getPropertyAsBool("submitReports"); let submitReports = true; // XXX followup for .getPropertyAsBool("submitReports");
let pluginName = propBag.getPropertyAsAString("pluginName"); let pluginName = propBag.getPropertyAsAString("pluginName");
let pluginDumpID = propBag.getPropertyAsAString("pluginDumpID"); let pluginDumpID = propBag.getPropertyAsAString("pluginDumpID");
let browserDumpID = propBag.getPropertyAsAString("browserDumpID"); let browserDumpID = null;
try {
browserDumpID = propBag.getPropertyAsAString("browserDumpID");
} catch (e) {
// For GMP crashes we don't get a browser dump.
}
// Remap the plugin name to a more user-presentable form. // Remap the plugin name to a more user-presentable form.
pluginName = this.makeNicePluginName(pluginName); pluginName = this.makeNicePluginName(pluginName);