@@ 25,7 25,7 @@ function require(url){
source = source.slice(moduleStart+1,moduleEnd-1);
}
// fix, add comment to show source on Chrome Dev Tools
- source="//@ sourceURL="+window.location.origin+url+"\n" + source;
+ source="//# sourceURL="+window.location.origin+url+"\n" + source;
//------
var module = { id: url, uri: url, exports:exports }; //according to node.js modules
var anonFn = new Function("require", "exports", "module", source); //create a Fn with module code, and 3 params: require, exports & module
@@ 83,7 83,6 @@ function muonRun(arguments) {
}
};
})(),
- stdinPos: 0,
stdin: (function() {
var element = document.getElementById('input');
var str = element.value;