static/ext/src/ux/AceEditor/b339f0b799f23466a9fb3ac92af4cb7e572604a6@/worker.js
function execute() {
        command.exec(env, request.args, request);
        
        // If the request isn't asnync and isn't done, then make it done.
        if (!request.isAsync && !request.isDone) {
            request.done();
        }
    }
function execute() {
        command.exec(env, request.args, request);
        
        // If the request isn't asnync and isn't done, then make it done.
        if (!request.isAsync && !request.isDone) {
            request.done();
        }
    }
function execute ( ) { command . exec ( env , request . args , request ) ; // If the request isn't asnync and isn't done, then make it done. if ( ! request . isAsync && ! request . isDone ) { request . done ( ) ; } }
Executes the command and ensures request.done is called on the request in
case it's not marked to be done already or async.
Executes the command and ensures request . done is called on the request in case it s not marked to be done already or async .