More nicely truncate args array

14 years ago · 07119364fc
1 changed files with 1 additions and 1 deletions
--- a/pdf.js
+++ b/pdf.js
@ -721,7 +721,7 @@ var Interpreter = (function() {
				@@ -721,7 +721,7 @@ var Interpreter = (function() {
            while (!((obj = parser.getObj()).isEOF())) {
                if (obj.isCmd()) {
                    this.dispatch(obj, args);
-                    args = [ ]; // yuck
+                    args.length = 0;
                } else if (MAX_ARGS == args.length) {
                    this.error("Too many arguments");
                } else {