| Index: frog/minfrog
|
| ===================================================================
|
| --- frog/minfrog (revision 3380)
|
| +++ frog/minfrog (working copy)
|
| @@ -2304,10 +2304,26 @@
|
| path = require('path');
|
| // ********** Code for top level **************
|
| function createSandbox() {
|
| - return {'require': require, 'process': process, 'console': console,
|
| + return {
|
| + 'require': require,
|
| + 'process': process,
|
| + 'console': console,
|
| 'Buffer' : Buffer,
|
| - 'setTimeout': setTimeout, 'clearTimeout': clearTimeout};
|
| + 'setTimeout': setTimeout,
|
| + 'clearTimeout': clearTimeout,
|
| + 'ArrayBuffer': ArrayBuffer,
|
| + 'Int8Array': Int8Array,
|
| + 'Uint8Array': Uint8Array,
|
| + 'Int16Array': Int16Array,
|
| + 'Uint16Array': Uint16Array,
|
| + 'Int32Array': Int32Array,
|
| + 'Uint32Array': Uint32Array,
|
| + 'Float32Array': Float32Array,
|
| + 'Float64Array': Float64Array,
|
| + 'DataView': DataView
|
| + };
|
| }
|
| +
|
| function get$_process() {
|
| return process;
|
| }
|
|
|