Index: third_party/google_input_tools/third_party/closure_library/closure/goog/debug/error.js |
diff --git a/third_party/google_input_tools/third_party/closure_library/closure/goog/debug/error.js b/third_party/google_input_tools/third_party/closure_library/closure/goog/debug/error.js |
index 6fed470018e213995a3e7e97886605521186c63b..5f1bd3e4eced615c1a0a1e37d52a856b0c43f5e6 100644 |
--- a/third_party/google_input_tools/third_party/closure_library/closure/goog/debug/error.js |
+++ b/third_party/google_input_tools/third_party/closure_library/closure/goog/debug/error.js |
@@ -46,6 +46,15 @@ goog.debug.Error = function(opt_msg) { |
if (opt_msg) { |
this.message = String(opt_msg); |
} |
+ |
+ /** |
+ * Whether to report this error to the server. Setting this to false will |
+ * cause the error reporter to not report the error back to the server, |
+ * which can be useful if the client knows that the error has already been |
+ * logged on the server. |
+ * @type {boolean} |
+ */ |
+ this.reportErrorToServer = true; |
}; |
goog.inherits(goog.debug.Error, Error); |