[shell] #715938: support of script parameters (using standard '--' as arguments separator) Arguments after bare "--" string will not be processed by the shell command You can use it to pass extra arguments to your script and expect for them in 'scriptargs' afterwards.

function set_tab(tabname, cookiename) {
    // set appropriate cookie
    asyncRemoteExec('set_cookie', cookiename, tabname);
    // trigger show + tabname event
    trigger_load(tabname);
}