| 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);
|
|
|
|
|