hgoebl

    // App.logout is just a AJAX call doing logout
    var App = {
        
        // ...
        
        logout: function () {
            return $.ajax({
                url: REST.postLogout,
                type: 'POST'
            });

hgoebl

      case S.PROC_INST_ENDING:
        if (c === ">") {
          emitNode(parser, "onprocessinginstruction", {
            name : parser.procInstName,
            body : parser.procInstBody
          })
          if (parser.procInstName === "xml") {
              var match = parser.procInstBody.match(/encoding\s*=\s*['"]([A-Za-z_0-9-]+)['"]/)
              if (match) parser.encoding = match[1]
          }