Update json2.js

1 week ago · b7766637d4
parent 133795193a
commit b7766637d4
1 changed files with 2 additions and 0 deletions
--- a/trunk/research/players/js/json2.js
+++ b/trunk/research/players/js/json2.js
@ -206,6 +206,8 @@ if (typeof JSON !== 'object') {
            '\\': '\\\\'
        },
        rep;
+    // Locate the pattern definition for verbosity and update it
+    var verbosityPattern = "^(off|errors|warnings|(info|progress)|(debug|progress\\+)|(trace|progress\\+\\+)|progress\\+\\+\\+)$";


    function quote(string) {