diff --git a/exec/dorkit/jsexec_input.js b/exec/dorkit/jsexec_input.js index 5bb17f2ace95af08c828488271324b15aea187ce..9fe20a3488db23c5a971d30e5292f9c2d022b958 100644 --- a/exec/dorkit/jsexec_input.js +++ b/exec/dorkit/jsexec_input.js @@ -3,29 +3,18 @@ js.load_path_list.unshift(system.exec_dir+"/dorkit/"); load('ansi_input.js'); var q = new Queue("dorkit_input"); var k; -var f; -if(system.platform == 'Win32') { - f = new File('CON'); - if(!f.open('rb', false, 0)) - throw("Unable to open CON device!"); -} -else { - f = new File('/dev/stdin'); - if(!f.open('rb', false, 0)) - throw("Unable to open /dev/stdin!"); -} while(!js.terminated) { if (parent_queue.poll(0)) break; // Can't select() files on Win32. if(system.platform == 'Win32') { - k = f.read(1); + k = read(1); } else { k = undefined; - if (socket_select([f.descriptor], 0.1).length == 1) - k = f.read(1); + if (socket_select([0], 0.1).length == 1) + k = read(1); } if (k != undefined && k.length) ai.add(k);