238 

   238 

   239 function asyncRemoteExec(fname /* ... */) {

   239 function asyncRemoteExec(fname /* ... */) {

   240     setProgressCursor();

   240     setProgressCursor();

   241     var props = {'fname' : fname, 'pageid' : pageid,

   241     var props = {'fname' : fname, 'pageid' : pageid,

   242                  'arg': map(jQuery.toJSON, sliceList(arguments, 1))};

   242                  'arg': map(jQuery.toJSON, sliceList(arguments, 1))};

   243     var deferred = loadRemote(JSON_BASE_URL, props, 'POST');

   244     var deferred = loadRemote(JSON_BASE_URL, props, 'POST');

   244     deferred = deferred.addErrback(remoteCallFailed);

   245     deferred = deferred.addErrback(remoteCallFailed);

   245     deferred = deferred.addErrback(resetCursor);

   246     deferred = deferred.addErrback(resetCursor);

   246     deferred = deferred.addCallback(resetCursor);

   247     deferred = deferred.addCallback(resetCursor);

   247     return deferred;

   248     return deferred;