diff options
author | Alon Zakai <alonzakai@gmail.com> | 2013-01-20 13:54:42 -0800 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2013-01-20 13:54:42 -0800 |
commit | b251f29a2efdc1ceaf6490d0bc3cf8bca0ae5589 (patch) | |
tree | 60a66ab3c88dea7c4034aa272503daef266fd4e5 | |
parent | c3dc146079be90808407f29fc924354169b6ab9d (diff) |
option for getIndex to not request indexing, and just retrieve the index if already requested
-rw-r--r-- | src/modules.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/modules.js b/src/modules.js index f6587773..d4d86510 100644 --- a/src/modules.js +++ b/src/modules.js @@ -239,9 +239,9 @@ var Functions = { }, // Mark a function as needing indexing. Python will coordinate them all - getIndex: function(ident) { + getIndex: function(ident, doNotCreate) { if (phase != 'post' && singlePhase) { - this.indexedFunctions[ident] = 0; // tell python we need this indexized + if (!doNotCreate) this.indexedFunctions[ident] = 0; // tell python we need this indexized return '{{{ FI_' + ident + ' }}}'; // something python will replace later } else { var ret = this.indexedFunctions[ident]; |