Function shiftT

OmniDB/OmniDB_app/static/OmniDB_app/lib/ace/worker-xquery.js:31736–31747

(t)

  }

  function shiftT(t)
  {
    if (l1 == t)
    {
      b0 = b1; e0 = e1; l1 = l2; if (l1 != 0) {
      b1 = b2; e1 = e2; l2 = 0; }
    }
    else
    {
      error(b1, e1, 0, l1, t);
    }
  }

  function skip(code)
  {