More nicely truncate args array

diff --git a/pdf.js b/pdf.js
index a521b5f0bf17431ee652630bfc6debe8eab9e6d1..18bbf1eb271d7a31d4e8bcc73f7a161997278fba 100644 (file)
--- a/pdf.js
+++ b/pdf.js
@@ -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 {