diff options
Diffstat (limited to 'share/server')
| -rw-r--r-- | share/server/main.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/share/server/main.js b/share/server/main.js index 9773cf6c..05615ccd 100644 --- a/share/server/main.js +++ b/share/server/main.js @@ -74,7 +74,7 @@ while (cmd = eval(readline())) { // ] // var doc = cmd[1]; - seal(doc); // seal to prevent map functions from changing doc + seal(doc, true); // seal to prevent map functions from changing doc var buf = []; for (var i = 0; i < funs.length; i++) { map_results = []; |