105 lines
4.4 KiB
JavaScript
Executable File
105 lines
4.4 KiB
JavaScript
Executable File
(function(f){if(typeof exports==="object"&&typeof module!=="undefined"){module.exports=f()}else if(typeof define==="function"&&define.amd){define([],f)}else{var g;if(typeof window!=="undefined"){g=window}else if(typeof global!=="undefined"){g=global}else if(typeof self!=="undefined"){g=self}else{g=this}g.attach = f()}})(function(){var define,module,exports;return (function(){function r(e,n,t){function o(i,f){if(!n[i]){if(!e[i]){var c="function"==typeof require&&require;if(!f&&c)return c(i,!0);if(u)return u(i,!0);var a=new Error("Cannot find module '"+i+"'");throw a.code="MODULE_NOT_FOUND",a}var p=n[i]={exports:{}};e[i][0].call(p.exports,function(r){var n=e[i][1][r];return o(n||r)},p,p.exports,r,e,n,t)}return n[i].exports}for(var u="function"==typeof require&&require,i=0;i<t.length;i++)o(t[i]);return o}return r})()({1:[function(require,module,exports){
|
|
"use strict";
|
|
Object.defineProperty(exports, "__esModule", { value: true });
|
|
function attach(term, socket, bidirectional, buffered) {
|
|
var addonTerminal = term;
|
|
bidirectional = (typeof bidirectional === 'undefined') ? true : bidirectional;
|
|
addonTerminal.__socket = socket;
|
|
addonTerminal.__flushBuffer = function () {
|
|
addonTerminal.write(addonTerminal.__attachSocketBuffer);
|
|
addonTerminal.__attachSocketBuffer = null;
|
|
};
|
|
addonTerminal.__pushToBuffer = function (data) {
|
|
if (addonTerminal.__attachSocketBuffer) {
|
|
addonTerminal.__attachSocketBuffer += data;
|
|
}
|
|
else {
|
|
addonTerminal.__attachSocketBuffer = data;
|
|
setTimeout(addonTerminal.__flushBuffer, 10);
|
|
}
|
|
};
|
|
var myTextDecoder;
|
|
addonTerminal.__getMessage = function (ev) {
|
|
var str;
|
|
if (typeof ev.data === 'object') {
|
|
if (!myTextDecoder) {
|
|
myTextDecoder = new TextDecoder();
|
|
}
|
|
if (ev.data instanceof ArrayBuffer) {
|
|
str = myTextDecoder.decode(ev.data);
|
|
displayData(str);
|
|
}
|
|
else {
|
|
var fileReader_1 = new FileReader();
|
|
fileReader_1.addEventListener('load', function () {
|
|
str = myTextDecoder.decode(fileReader_1.result);
|
|
displayData(str);
|
|
});
|
|
fileReader_1.readAsArrayBuffer(ev.data);
|
|
}
|
|
}
|
|
else if (typeof ev.data === 'string') {
|
|
displayData(ev.data);
|
|
}
|
|
else {
|
|
throw Error("Cannot handle \"" + typeof ev.data + "\" websocket message.");
|
|
}
|
|
};
|
|
function displayData(str, data) {
|
|
if (buffered) {
|
|
addonTerminal.__pushToBuffer(str || data);
|
|
}
|
|
else {
|
|
addonTerminal.write(str || data);
|
|
}
|
|
}
|
|
addonTerminal.__sendData = function (data) {
|
|
if (socket.readyState !== 1) {
|
|
return;
|
|
}
|
|
socket.send(data);
|
|
};
|
|
addonTerminal._core.register(addSocketListener(socket, 'message', addonTerminal.__getMessage));
|
|
if (bidirectional) {
|
|
addonTerminal._core.register(addonTerminal.addDisposableListener('data', addonTerminal.__sendData));
|
|
}
|
|
addonTerminal._core.register(addSocketListener(socket, 'close', function () { return detach(addonTerminal, socket); }));
|
|
addonTerminal._core.register(addSocketListener(socket, 'error', function () { return detach(addonTerminal, socket); }));
|
|
}
|
|
exports.attach = attach;
|
|
function addSocketListener(socket, type, handler) {
|
|
socket.addEventListener(type, handler);
|
|
return {
|
|
dispose: function () {
|
|
if (!handler) {
|
|
return;
|
|
}
|
|
socket.removeEventListener(type, handler);
|
|
handler = null;
|
|
}
|
|
};
|
|
}
|
|
function detach(term, socket) {
|
|
var addonTerminal = term;
|
|
addonTerminal.off('data', addonTerminal.__sendData);
|
|
socket = (typeof socket === 'undefined') ? addonTerminal.__socket : socket;
|
|
if (socket) {
|
|
socket.removeEventListener('message', addonTerminal.__getMessage);
|
|
}
|
|
delete addonTerminal.__socket;
|
|
}
|
|
exports.detach = detach;
|
|
function apply(terminalConstructor) {
|
|
terminalConstructor.prototype.attach = function (socket, bidirectional, buffered) {
|
|
attach(this, socket, bidirectional, buffered);
|
|
};
|
|
terminalConstructor.prototype.detach = function (socket) {
|
|
detach(this, socket);
|
|
};
|
|
}
|
|
exports.apply = apply;
|
|
|
|
},{}]},{},[1])(1)
|
|
});
|
|
//# sourceMappingURL=attach.js.map
|