@difizen/libro-terminal 0.1.0

package/es/manager.js

@@ -0,0 +1,469 @@
+function _typeof(o) { "@babel/helpers - typeof"; return _typeof = "function" == typeof Symbol && "symbol" == typeof Symbol.iterator ? function (o) { return typeof o; } : function (o) { return o && "function" == typeof Symbol && o.constructor === Symbol && o !== Symbol.prototype ? "symbol" : typeof o; }, _typeof(o); }
+var _dec, _dec2, _dec3, _class, _class2, _descriptor, _descriptor2;
+function ownKeys(e, r) { var t = Object.keys(e); if (Object.getOwnPropertySymbols) { var o = Object.getOwnPropertySymbols(e); r && (o = o.filter(function (r) { return Object.getOwnPropertyDescriptor(e, r).enumerable; })), t.push.apply(t, o); } return t; }
+function _objectSpread(e) { for (var r = 1; r < arguments.length; r++) { var t = null != arguments[r] ? arguments[r] : {}; r % 2 ? ownKeys(Object(t), !0).forEach(function (r) { _defineProperty(e, r, t[r]); }) : Object.getOwnPropertyDescriptors ? Object.defineProperties(e, Object.getOwnPropertyDescriptors(t)) : ownKeys(Object(t)).forEach(function (r) { Object.defineProperty(e, r, Object.getOwnPropertyDescriptor(t, r)); }); } return e; }
+function _defineProperty(obj, key, value) { key = _toPropertyKey(key); if (key in obj) { Object.defineProperty(obj, key, { value: value, enumerable: true, configurable: true, writable: true }); } else { obj[key] = value; } return obj; }
+function _regeneratorRuntime() { "use strict"; /*! regenerator-runtime -- Copyright (c) 2014-present, Facebook, Inc. -- license (MIT): https://github.com/facebook/regenerator/blob/main/LICENSE */ _regeneratorRuntime = function _regeneratorRuntime() { return e; }; var t, e = {}, r = Object.prototype, n = r.hasOwnProperty, o = Object.defineProperty || function (t, e, r) { t[e] = r.value; }, i = "function" == typeof Symbol ? Symbol : {}, a = i.iterator || "@@iterator", c = i.asyncIterator || "@@asyncIterator", u = i.toStringTag || "@@toStringTag"; function define(t, e, r) { return Object.defineProperty(t, e, { value: r, enumerable: !0, configurable: !0, writable: !0 }), t[e]; } try { define({}, ""); } catch (t) { define = function define(t, e, r) { return t[e] = r; }; } function wrap(t, e, r, n) { var i = e && e.prototype instanceof Generator ? e : Generator, a = Object.create(i.prototype), c = new Context(n || []); return o(a, "_invoke", { value: makeInvokeMethod(t, r, c) }), a; } function tryCatch(t, e, r) { try { return { type: "normal", arg: t.call(e, r) }; } catch (t) { return { type: "throw", arg: t }; } } e.wrap = wrap; var h = "suspendedStart", l = "suspendedYield", f = "executing", s = "completed", y = {}; function Generator() {} function GeneratorFunction() {} function GeneratorFunctionPrototype() {} var p = {}; define(p, a, function () { return this; }); var d = Object.getPrototypeOf, v = d && d(d(values([]))); v && v !== r && n.call(v, a) && (p = v); var g = GeneratorFunctionPrototype.prototype = Generator.prototype = Object.create(p); function defineIteratorMethods(t) { ["next", "throw", "return"].forEach(function (e) { define(t, e, function (t) { return this._invoke(e, t); }); }); } function AsyncIterator(t, e) { function invoke(r, o, i, a) { var c = tryCatch(t[r], t, o); if ("throw" !== c.type) { var u = c.arg, h = u.value; return h && "object" == _typeof(h) && n.call(h, "__await") ? e.resolve(h.__await).then(function (t) { invoke("next", t, i, a); }, function (t) { invoke("throw", t, i, a); }) : e.resolve(h).then(function (t) { u.value = t, i(u); }, function (t) { return invoke("throw", t, i, a); }); } a(c.arg); } var r; o(this, "_invoke", { value: function value(t, n) { function callInvokeWithMethodAndArg() { return new e(function (e, r) { invoke(t, n, e, r); }); } return r = r ? r.then(callInvokeWithMethodAndArg, callInvokeWithMethodAndArg) : callInvokeWithMethodAndArg(); } }); } function makeInvokeMethod(e, r, n) { var o = h; return function (i, a) { if (o === f) throw new Error("Generator is already running"); if (o === s) { if ("throw" === i) throw a; return { value: t, done: !0 }; } for (n.method = i, n.arg = a;;) { var c = n.delegate; if (c) { var u = maybeInvokeDelegate(c, n); if (u) { if (u === y) continue; return u; } } if ("next" === n.method) n.sent = n._sent = n.arg;else if ("throw" === n.method) { if (o === h) throw o = s, n.arg; n.dispatchException(n.arg); } else "return" === n.method && n.abrupt("return", n.arg); o = f; var p = tryCatch(e, r, n); if ("normal" === p.type) { if (o = n.done ? s : l, p.arg === y) continue; return { value: p.arg, done: n.done }; } "throw" === p.type && (o = s, n.method = "throw", n.arg = p.arg); } }; } function maybeInvokeDelegate(e, r) { var n = r.method, o = e.iterator[n]; if (o === t) return r.delegate = null, "throw" === n && e.iterator.return && (r.method = "return", r.arg = t, maybeInvokeDelegate(e, r), "throw" === r.method) || "return" !== n && (r.method = "throw", r.arg = new TypeError("The iterator does not provide a '" + n + "' method")), y; var i = tryCatch(o, e.iterator, r.arg); if ("throw" === i.type) return r.method = "throw", r.arg = i.arg, r.delegate = null, y; var a = i.arg; return a ? a.done ? (r[e.resultName] = a.value, r.next = e.nextLoc, "return" !== r.method && (r.method = "next", r.arg = t), r.delegate = null, y) : a : (r.method = "throw", r.arg = new TypeError("iterator result is not an object"), r.delegate = null, y); } function pushTryEntry(t) { var e = { tryLoc: t[0] }; 1 in t && (e.catchLoc = t[1]), 2 in t && (e.finallyLoc = t[2], e.afterLoc = t[3]), this.tryEntries.push(e); } function resetTryEntry(t) { var e = t.completion || {}; e.type = "normal", delete e.arg, t.completion = e; } function Context(t) { this.tryEntries = [{ tryLoc: "root" }], t.forEach(pushTryEntry, this), this.reset(!0); } function values(e) { if (e || "" === e) { var r = e[a]; if (r) return r.call(e); if ("function" == typeof e.next) return e; if (!isNaN(e.length)) { var o = -1, i = function next() { for (; ++o < e.length;) if (n.call(e, o)) return next.value = e[o], next.done = !1, next; return next.value = t, next.done = !0, next; }; return i.next = i; } } throw new TypeError(_typeof(e) + " is not iterable"); } return GeneratorFunction.prototype = GeneratorFunctionPrototype, o(g, "constructor", { value: GeneratorFunctionPrototype, configurable: !0 }), o(GeneratorFunctionPrototype, "constructor", { value: GeneratorFunction, configurable: !0 }), GeneratorFunction.displayName = define(GeneratorFunctionPrototype, u, "GeneratorFunction"), e.isGeneratorFunction = function (t) { var e = "function" == typeof t && t.constructor; return !!e && (e === GeneratorFunction || "GeneratorFunction" === (e.displayName || e.name)); }, e.mark = function (t) { return Object.setPrototypeOf ? Object.setPrototypeOf(t, GeneratorFunctionPrototype) : (t.__proto__ = GeneratorFunctionPrototype, define(t, u, "GeneratorFunction")), t.prototype = Object.create(g), t; }, e.awrap = function (t) { return { __await: t }; }, defineIteratorMethods(AsyncIterator.prototype), define(AsyncIterator.prototype, c, function () { return this; }), e.AsyncIterator = AsyncIterator, e.async = function (t, r, n, o, i) { void 0 === i && (i = Promise); var a = new AsyncIterator(wrap(t, r, n, o), i); return e.isGeneratorFunction(r) ? a : a.next().then(function (t) { return t.done ? t.value : a.next(); }); }, defineIteratorMethods(g), define(g, u, "Generator"), define(g, a, function () { return this; }), define(g, "toString", function () { return "[object Generator]"; }), e.keys = function (t) { var e = Object(t), r = []; for (var n in e) r.push(n); return r.reverse(), function next() { for (; r.length;) { var t = r.pop(); if (t in e) return next.value = t, next.done = !1, next; } return next.done = !0, next; }; }, e.values = values, Context.prototype = { constructor: Context, reset: function reset(e) { if (this.prev = 0, this.next = 0, this.sent = this._sent = t, this.done = !1, this.delegate = null, this.method = "next", this.arg = t, this.tryEntries.forEach(resetTryEntry), !e) for (var r in this) "t" === r.charAt(0) && n.call(this, r) && !isNaN(+r.slice(1)) && (this[r] = t); }, stop: function stop() { this.done = !0; var t = this.tryEntries[0].completion; if ("throw" === t.type) throw t.arg; return this.rval; }, dispatchException: function dispatchException(e) { if (this.done) throw e; var r = this; function handle(n, o) { return a.type = "throw", a.arg = e, r.next = n, o && (r.method = "next", r.arg = t), !!o; } for (var o = this.tryEntries.length - 1; o >= 0; --o) { var i = this.tryEntries[o], a = i.completion; if ("root" === i.tryLoc) return handle("end"); if (i.tryLoc <= this.prev) { var c = n.call(i, "catchLoc"), u = n.call(i, "finallyLoc"); if (c && u) { if (this.prev < i.catchLoc) return handle(i.catchLoc, !0); if (this.prev < i.finallyLoc) return handle(i.finallyLoc); } else if (c) { if (this.prev < i.catchLoc) return handle(i.catchLoc, !0); } else { if (!u) throw new Error("try statement without catch or finally"); if (this.prev < i.finallyLoc) return handle(i.finallyLoc); } } } }, abrupt: function abrupt(t, e) { for (var r = this.tryEntries.length - 1; r >= 0; --r) { var o = this.tryEntries[r]; if (o.tryLoc <= this.prev && n.call(o, "finallyLoc") && this.prev < o.finallyLoc) { var i = o; break; } } i && ("break" === t || "continue" === t) && i.tryLoc <= e && e <= i.finallyLoc && (i = null); var a = i ? i.completion : {}; return a.type = t, a.arg = e, i ? (this.method = "next", this.next = i.finallyLoc, y) : this.complete(a); }, complete: function complete(t, e) { if ("throw" === t.type) throw t.arg; return "break" === t.type || "continue" === t.type ? this.next = t.arg : "return" === t.type ? (this.rval = this.arg = t.arg, this.method = "return", this.next = "end") : "normal" === t.type && e && (this.next = e), y; }, finish: function finish(t) { for (var e = this.tryEntries.length - 1; e >= 0; --e) { var r = this.tryEntries[e]; if (r.finallyLoc === t) return this.complete(r.completion, r.afterLoc), resetTryEntry(r), y; } }, catch: function _catch(t) { for (var e = this.tryEntries.length - 1; e >= 0; --e) { var r = this.tryEntries[e]; if (r.tryLoc === t) { var n = r.completion; if ("throw" === n.type) { var o = n.arg; resetTryEntry(r); } return o; } } throw new Error("illegal catch attempt"); }, delegateYield: function delegateYield(e, r, n) { return this.delegate = { iterator: values(e), resultName: r, nextLoc: n }, "next" === this.method && (this.arg = t), y; } }, e; }
+function asyncGeneratorStep(gen, resolve, reject, _next, _throw, key, arg) { try { var info = gen[key](arg); var value = info.value; } catch (error) { reject(error); return; } if (info.done) { resolve(value); } else { Promise.resolve(value).then(_next, _throw); } }
+function _asyncToGenerator(fn) { return function () { var self = this, args = arguments; return new Promise(function (resolve, reject) { var gen = fn.apply(self, args); function _next(value) { asyncGeneratorStep(gen, resolve, reject, _next, _throw, "next", value); } function _throw(err) { asyncGeneratorStep(gen, resolve, reject, _next, _throw, "throw", err); } _next(undefined); }); }; }
+function _initializerDefineProperty(target, property, descriptor, context) { if (!descriptor) return; Object.defineProperty(target, property, { enumerable: descriptor.enumerable, configurable: descriptor.configurable, writable: descriptor.writable, value: descriptor.initializer ? descriptor.initializer.call(context) : void 0 }); }
+function _classCallCheck(instance, Constructor) { if (!(instance instanceof Constructor)) { throw new TypeError("Cannot call a class as a function"); } }
+function _defineProperties(target, props) { for (var i = 0; i < props.length; i++) { var descriptor = props[i]; descriptor.enumerable = descriptor.enumerable || false; descriptor.configurable = true; if ("value" in descriptor) descriptor.writable = true; Object.defineProperty(target, _toPropertyKey(descriptor.key), descriptor); } }
+function _createClass(Constructor, protoProps, staticProps) { if (protoProps) _defineProperties(Constructor.prototype, protoProps); if (staticProps) _defineProperties(Constructor, staticProps); Object.defineProperty(Constructor, "prototype", { writable: false }); return Constructor; }
+function _toPropertyKey(arg) { var key = _toPrimitive(arg, "string"); return _typeof(key) === "symbol" ? key : String(key); }
+function _toPrimitive(input, hint) { if (_typeof(input) !== "object" || input === null) return input; var prim = input[Symbol.toPrimitive]; if (prim !== undefined) { var res = prim.call(input, hint || "default"); if (_typeof(res) !== "object") return res; throw new TypeError("@@toPrimitive must return a primitive value."); } return (hint === "string" ? String : Number)(input); }
+function _applyDecoratedDescriptor(target, property, decorators, descriptor, context) { var desc = {}; Object.keys(descriptor).forEach(function (key) { desc[key] = descriptor[key]; }); desc.enumerable = !!desc.enumerable; desc.configurable = !!desc.configurable; if ('value' in desc || desc.initializer) { desc.writable = true; } desc = decorators.slice().reverse().reduce(function (desc, decorator) { return decorator(target, property, desc) || desc; }, desc); if (context && desc.initializer !== void 0) { desc.value = desc.initializer ? desc.initializer.call(context) : void 0; desc.initializer = undefined; } if (desc.initializer === void 0) { Object.defineProperty(target, property, desc); desc = null; } return desc; }
+function _initializerWarningHelper(descriptor, context) { throw new Error('Decorating class property failed. Please ensure that ' + 'transform-class-properties is enabled and runs after the decorators transform.'); }
+// Copyright (c) Jupyter Development Team.
+// Distributed under the terms of the Modified BSD License.
+
+import { Poll } from '@difizen/libro-common';
+import { NetworkError } from '@difizen/libro-kernel';
+import { singleton } from '@difizen/mana-app';
+import { Emitter, inject } from '@difizen/mana-app';
+import { TerminalConnectionFactory } from "./protocol.js";
+import { TerminalRestAPI } from "./restapi.js";
+export var TerminalManager = (_dec = singleton(), _dec2 = inject(TerminalRestAPI), _dec3 = inject(TerminalConnectionFactory), _dec(_class = (_class2 = /*#__PURE__*/function () {
+  /**
+   * Construct a new terminal manager.
+   */
+  function TerminalManager() {
+    var _this = this;
+    _classCallCheck(this, TerminalManager);
+    this.disposed = false;
+    this._isReady = false;
+    this._terminalConnections = new Set();
+    this._runningChanged = new Emitter();
+    this._connectionFailure = new Emitter();
+    // As an optimization, we unwrap the models to just store the names.
+    this._names = [];
+    _initializerDefineProperty(this, "terminalRestAPI", _descriptor, this);
+    _initializerDefineProperty(this, "terminalConnectionFactory", _descriptor2, this);
+    this.getOrCreate = /*#__PURE__*/function () {
+      var _ref = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee(options) {
+        var name, cwd, connection, models;
+        return _regeneratorRuntime().wrap(function _callee$(_context) {
+          while (1) switch (_context.prev = _context.next) {
+            case 0:
+              name = options.name, cwd = options.cwd;
+              if (!name) {
+                _context.next = 14;
+                break;
+              }
+              _context.next = 4;
+              return _this.terminalRestAPI.listRunning();
+            case 4:
+              models = _context.sent;
+              if (!models.map(function (d) {
+                return d.name;
+              }).includes(name)) {
+                _context.next = 9;
+                break;
+              }
+              // we are restoring a terminal widget and the corresponding terminal exists
+              // let's connect to it
+              connection = _this.connectTo({
+                name: name
+              });
+              _context.next = 12;
+              break;
+            case 9:
+              _context.next = 11;
+              return _this.startNew({
+                name: name,
+                cwd: cwd
+              });
+            case 11:
+              connection = _context.sent;
+            case 12:
+              _context.next = 17;
+              break;
+            case 14:
+              _context.next = 16;
+              return _this.startNew({
+                cwd: cwd
+              });
+            case 16:
+              connection = _context.sent;
+            case 17:
+              return _context.abrupt("return", connection);
+            case 18:
+            case "end":
+              return _context.stop();
+          }
+        }, _callee);
+      }));
+      return function (_x) {
+        return _ref.apply(this, arguments);
+      };
+    }();
+    // Start polling with exponential backoff.
+    this._pollModels = new Poll({
+      auto: false,
+      factory: function factory() {
+        return _this.requestRunning();
+      },
+      frequency: {
+        interval: 10 * 1000,
+        backoff: true,
+        max: 300 * 1000
+      },
+      name: "@jupyterlab/services:TerminalManager#models",
+      standby: 'when-hidden'
+    });
+
+    // Initialize internal data.
+    this._ready = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee2() {
+      return _regeneratorRuntime().wrap(function _callee2$(_context2) {
+        while (1) switch (_context2.prev = _context2.next) {
+          case 0:
+            _context2.next = 2;
+            return _this._pollModels.start();
+          case 2:
+            _context2.next = 4;
+            return _this._pollModels.tick;
+          case 4:
+            _this._isReady = true;
+          case 5:
+          case "end":
+            return _context2.stop();
+        }
+      }, _callee2);
+    }))();
+  }
+
+  /**
+   * The server settings of the manager.
+   */
+  _createClass(TerminalManager, [{
+    key: "_models",
+    get: function get() {
+      return this._names.map(function (name) {
+        return {
+          name: name
+        };
+      });
+    }
+  }, {
+    key: "isReady",
+    get:
+    /**
+     * Test whether the manager is ready.
+     */
+    function get() {
+      return this._isReady;
+    }
+
+    /**
+     * A promise that fulfills when the manager is ready.
+     */
+  }, {
+    key: "ready",
+    get: function get() {
+      return this._ready;
+    }
+
+    /**
+     * A signal emitted when the running terminals change.
+     */
+  }, {
+    key: "runningChanged",
+    get: function get() {
+      return this._runningChanged.event;
+    }
+
+    /**
+     * A signal emitted when there is a connection failure.
+     */
+  }, {
+    key: "connectionFailure",
+    get: function get() {
+      return this._connectionFailure.event;
+    }
+
+    /**
+     * Dispose of the resources used by the manager.
+     */
+  }, {
+    key: "dispose",
+    value: function dispose() {
+      if (this.disposed) {
+        return;
+      }
+      this._names.length = 0;
+      this._terminalConnections.forEach(function (x) {
+        return x.dispose();
+      });
+      this._pollModels.dispose();
+      this.disposed = true;
+    }
+
+    /*
+     * Connect to a running terminal.
+     *
+     * @param options - The options used to connect to the terminal.
+     *
+     * @returns The new terminal connection instance.
+     *
+     * #### Notes
+     * The manager `serverSettings` will be used.
+     */
+  }, {
+    key: "connectTo",
+    value: function connectTo(options) {
+      var terminalConnection = this.terminalConnectionFactory(options);
+      this._onStarted(terminalConnection);
+      if (!this._names.includes(options.name)) {
+        // We trust the user to connect to an existing session, but we verify
+        // asynchronously.
+        void this.refreshRunning().catch(function () {
+          /* no-op */
+        });
+      }
+      return terminalConnection;
+    }
+
+    /**
+     * Create an iterator over the most recent running terminals.
+     *
+     * @returns A new iterator over the running terminals.
+     */
+  }, {
+    key: "running",
+    value: function running() {
+      return this._models[Symbol.iterator]();
+    }
+
+    /**
+     * Force a refresh of the running terminals.
+     *
+     * @returns A promise that with the list of running terminals.
+     *
+     * #### Notes
+     * This is intended to be called only in response to a user action,
+     * since the manager maintains its internal state.
+     */
+  }, {
+    key: "refreshRunning",
+    value: function () {
+      var _refreshRunning = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee3() {
+        return _regeneratorRuntime().wrap(function _callee3$(_context3) {
+          while (1) switch (_context3.prev = _context3.next) {
+            case 0:
+              _context3.next = 2;
+              return this._pollModels.refresh();
+            case 2:
+              _context3.next = 4;
+              return this._pollModels.tick;
+            case 4:
+            case "end":
+              return _context3.stop();
+          }
+        }, _callee3, this);
+      }));
+      function refreshRunning() {
+        return _refreshRunning.apply(this, arguments);
+      }
+      return refreshRunning;
+    }()
+    /**
+     * Create a new terminal session.
+     *
+     * @param options - The options used to create the terminal.
+     *
+     * @returns A promise that resolves with the terminal connection instance.
+     *
+     * #### Notes
+     * The manager `serverSettings` will be used unless overridden in the
+     * options.
+     */
+  }, {
+    key: "startNew",
+    value: function () {
+      var _startNew = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee4(options) {
+        var model;
+        return _regeneratorRuntime().wrap(function _callee4$(_context4) {
+          while (1) switch (_context4.prev = _context4.next) {
+            case 0:
+              _context4.next = 2;
+              return this.terminalRestAPI.startNew(options, this.serverSettings);
+            case 2:
+              model = _context4.sent;
+              _context4.next = 5;
+              return this.refreshRunning();
+            case 5:
+              return _context4.abrupt("return", this.connectTo(_objectSpread(_objectSpread({}, options), {}, {
+                name: model.name
+              })));
+            case 6:
+            case "end":
+              return _context4.stop();
+          }
+        }, _callee4, this);
+      }));
+      function startNew(_x2) {
+        return _startNew.apply(this, arguments);
+      }
+      return startNew;
+    }()
+    /**
+     * Shut down a terminal session by name.
+     */
+  }, {
+    key: "shutdown",
+    value: function () {
+      var _shutdown = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee5(name) {
+        return _regeneratorRuntime().wrap(function _callee5$(_context5) {
+          while (1) switch (_context5.prev = _context5.next) {
+            case 0:
+              _context5.next = 2;
+              return this.terminalRestAPI.shutdown(name, this.serverSettings);
+            case 2:
+              _context5.next = 4;
+              return this.refreshRunning();
+            case 4:
+            case "end":
+              return _context5.stop();
+          }
+        }, _callee5, this);
+      }));
+      function shutdown(_x3) {
+        return _shutdown.apply(this, arguments);
+      }
+      return shutdown;
+    }()
+    /**
+     * Shut down all terminal sessions.
+     *
+     * @returns A promise that resolves when all of the sessions are shut down.
+     */
+  }, {
+    key: "shutdownAll",
+    value: function () {
+      var _shutdownAll = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee6() {
+        var _this2 = this;
+        return _regeneratorRuntime().wrap(function _callee6$(_context6) {
+          while (1) switch (_context6.prev = _context6.next) {
+            case 0:
+              _context6.next = 2;
+              return this.refreshRunning();
+            case 2:
+              _context6.next = 4;
+              return Promise.all(this._names.map(function (name) {
+                return _this2.terminalRestAPI.shutdown(name, _this2.serverSettings);
+              }));
+            case 4:
+              _context6.next = 6;
+              return this.refreshRunning();
+            case 6:
+            case "end":
+              return _context6.stop();
+          }
+        }, _callee6, this);
+      }));
+      function shutdownAll() {
+        return _shutdownAll.apply(this, arguments);
+      }
+      return shutdownAll;
+    }()
+    /**
+     * Execute a request to the server to poll running terminals and update state.
+     */
+  }, {
+    key: "requestRunning",
+    value: function () {
+      var _requestRunning = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee7() {
+        var models, _response, _response2, names;
+        return _regeneratorRuntime().wrap(function _callee7$(_context7) {
+          while (1) switch (_context7.prev = _context7.next) {
+            case 0:
+              _context7.prev = 0;
+              _context7.next = 3;
+              return this.terminalRestAPI.listRunning(this.serverSettings);
+            case 3:
+              models = _context7.sent;
+              _context7.next = 10;
+              break;
+            case 6:
+              _context7.prev = 6;
+              _context7.t0 = _context7["catch"](0);
+              // Handle network errors, as well as cases where we are on a
+              // JupyterHub and the server is not running. JupyterHub returns a
+              // 503 (<2.0) or 424 (>2.0) in that case.
+              if (_context7.t0 instanceof NetworkError || ((_response = _context7.t0.response) === null || _response === void 0 ? void 0 : _response.status) === 503 || ((_response2 = _context7.t0.response) === null || _response2 === void 0 ? void 0 : _response2.status) === 424) {
+                this._connectionFailure.fire(_context7.t0);
+              }
+              throw _context7.t0;
+            case 10:
+              if (!this.disposed) {
+                _context7.next = 12;
+                break;
+              }
+              return _context7.abrupt("return");
+            case 12:
+              names = models.map(function (_ref3) {
+                var name = _ref3.name;
+                return name;
+              }).sort();
+              if (!(names === this._names)) {
+                _context7.next = 15;
+                break;
+              }
+              return _context7.abrupt("return");
+            case 15:
+              this._names = names;
+              this._terminalConnections.forEach(function (tc) {
+                if (!names.includes(tc.name)) {
+                  tc.dispose();
+                }
+              });
+              this._runningChanged.fire(this._models);
+            case 18:
+            case "end":
+              return _context7.stop();
+          }
+        }, _callee7, this, [[0, 6]]);
+      }));
+      function requestRunning() {
+        return _requestRunning.apply(this, arguments);
+      }
+      return requestRunning;
+    }()
+    /**
+     * Handle a session starting.
+     */
+  }, {
+    key: "_onStarted",
+    value: function _onStarted(terminalConnection) {
+      var _this3 = this;
+      this._terminalConnections.add(terminalConnection);
+      terminalConnection.onDisposed(function () {
+        _this3._onDisposed(terminalConnection);
+      });
+    }
+
+    /**
+     * Handle a session terminating.
+     */
+  }, {
+    key: "_onDisposed",
+    value: function _onDisposed(terminalConnection) {
+      this._terminalConnections.delete(terminalConnection);
+      // Update the running models to make sure we reflect the server state
+      void this.refreshRunning().catch(function () {
+        /* no-op */
+      });
+    }
+  }]);
+  return TerminalManager;
+}(), (_descriptor = _applyDecoratedDescriptor(_class2.prototype, "terminalRestAPI", [_dec2], {
+  configurable: true,
+  enumerable: true,
+  writable: true,
+  initializer: null
+}), _descriptor2 = _applyDecoratedDescriptor(_class2.prototype, "terminalConnectionFactory", [_dec3], {
+  configurable: true,
+  enumerable: true,
+  writable: true,
+  initializer: null
+})), _class2)) || _class);

package/es/module.d.ts

@@ -0,0 +1,3 @@
+import { ManaModule } from '@difizen/mana-app';
+export declare const TerminalModule: ManaModule;
+//# sourceMappingURL=module.d.ts.map

package/es/module.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module.d.ts","sourceRoot":"","sources":["../src/module.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAW/C,eAAO,MAAM,cAAc,YAiB1B,CAAC"}

package/es/module.js

@@ -0,0 +1,22 @@
+import { ManaModule } from '@difizen/mana-app';
+import { TerminalConfiguration } from "./configuration.js";
+import { TerminalConnection } from "./connection.js";
+import { TerminalManager } from "./manager.js";
+import { TerminalOption } from "./protocol.js";
+import { TerminalConnectionFactory } from "./protocol.js";
+import { TerminalRestAPI } from "./restapi.js";
+import { TerminalThemeService } from "./theme-service.js";
+import { LibroTerminalView } from "./view.js";
+export var TerminalModule = ManaModule.create().register(TerminalConnection, TerminalManager, TerminalRestAPI, {
+  token: TerminalConnectionFactory,
+  useFactory: function useFactory(ctx) {
+    return function (options) {
+      var child = ctx.container.createChild();
+      child.register({
+        token: TerminalOption,
+        useValue: options
+      });
+      return child.get(TerminalConnection);
+    };
+  }
+}, TerminalConfiguration, TerminalThemeService, LibroTerminalView);

package/es/protocol.d.ts

@@ -0,0 +1,87 @@
+import type { JSONPrimitive } from '@difizen/libro-common';
+import type { TerminalConnection } from './connection.js';
+/**
+ * The server model for a terminal session.
+ */
+export interface TerminalModel {
+    /**
+     * The name of the terminal session.
+     */
+    readonly name: string;
+}
+export interface TerminalOption {
+    name?: string;
+    /**
+     * Current working directory.
+     */
+    cwd?: string;
+}
+export declare const TerminalOption: unique symbol;
+export declare const TerminalConnectionFactory: unique symbol;
+export type TerminalConnectionFactory = (options: TerminalOption) => TerminalConnection;
+/**
+ * A message from the terminal session.
+ */
+export interface TerminalMessage {
+    /**
+     * The type of the message.
+     */
+    readonly type: TerminalMessageType;
+    /**
+     * The content of the message.
+     */
+    readonly content?: JSONPrimitive[];
+}
+/**
+ * Valid message types for the terminal.
+ */
+export type TerminalMessageType = 'stdout' | 'disconnect' | 'set_size' | 'stdin';
+export type TerminalConnectionStatus = 'connected' | 'connecting' | 'disconnected';
+export interface TerminalViewOption extends TerminalOption {
+    name: string;
+    /**
+     * Human readable terminal representation on the UI.
+     */
+    readonly title?: string;
+    initialCommand?: string;
+    /**
+     * Path to the executable shell. For example: `/bin/bash`, `bash`, `sh`.
+     */
+    readonly shellPath?: string;
+    /**
+     * Shell arguments to executable shell, for example: [`-l`] - without login.
+     */
+    readonly shellArgs?: string[];
+    /**
+     * Environment variables for terminal.
+     */
+    readonly env?: {
+        [key: string]: string | null;
+    };
+    /**
+     * In case `destroyTermOnClose` is true - terminal process will be destroyed on close terminal widget, otherwise will be kept
+     * alive.
+     */
+    readonly destroyOnClose?: boolean;
+    /**
+     * Terminal server side can send to the client `terminal title` to display this value on the UI. If
+     * useServerTitle = true then display this title, otherwise display title defined by 'title' argument.
+     */
+    readonly useServerTitle?: boolean;
+    /**
+     * Whether it is a pseudo terminal where an extension controls its input and output.
+     */
+    readonly isPseudoTerminal?: boolean;
+    /**
+     * Terminal attributes. Can be useful to apply some implementation specific information.
+     */
+    readonly attributes?: {
+        [key: string]: string | null;
+    };
+    /**
+     * Terminal kind that indicates whether a terminal is created by a user or by some extension for a user
+     */
+    readonly kind?: 'user' | string;
+}
+export declare const TerminalViewOption: unique symbol;
+//# sourceMappingURL=protocol.d.ts.map

package/es/protocol.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"protocol.d.ts","sourceRoot":"","sources":["../src/protocol.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAE3D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAE1D;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;OAEG;IACH,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED,eAAO,MAAM,cAAc,eAA2B,CAAC;AAEvD,eAAO,MAAM,yBAAyB,eAAsC,CAAC;AAC7E,MAAM,MAAM,yBAAyB,GAAG,CAAC,OAAO,EAAE,cAAc,KAAK,kBAAkB,CAAC;AAExF;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IAEnC;;OAEG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,aAAa,EAAE,CAAC;CACpC;AAED;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG,QAAQ,GAAG,YAAY,GAAG,UAAU,GAAG,OAAO,CAAC;AAEjF,MAAM,MAAM,wBAAwB,GAAG,WAAW,GAAG,YAAY,GAAG,cAAc,CAAC;AAEnF,MAAM,WAAW,kBAAmB,SAAQ,cAAc;IACxD,IAAI,EAAE,MAAM,CAAC;IACb;;OAEG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IAExB,cAAc,CAAC,EAAE,MAAM,CAAC;IAExB;;OAEG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAE5B;;OAEG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IAE9B;;OAEG;IACH,QAAQ,CAAC,GAAG,CAAC,EAAE;QAAE,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;IAEhD;;;OAGG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAElC;;;OAGG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAElC;;OAEG;IACH,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAEpC;;OAEG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE;QAAE,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;IAEvD;;OAEG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;CACjC;AAED,eAAO,MAAM,kBAAkB,eAA+B,CAAC"}

package/es/protocol.js

@@ -0,0 +1,16 @@
+/**
+ * The server model for a terminal session.
+ */
+
+export var TerminalOption = Symbol('TerminalOption');
+export var TerminalConnectionFactory = Symbol('TerminalConnectionFactory');
+
+/**
+ * A message from the terminal session.
+ */
+
+/**
+ * Valid message types for the terminal.
+ */
+
+export var TerminalViewOption = Symbol('TerminalViewOption');

package/es/restapi.d.ts

@@ -0,0 +1,11 @@
+import type { ISettings } from '@difizen/libro-kernel';
+import { ServerConnection } from '@difizen/libro-kernel';
+import type { TerminalModel, TerminalOption } from './protocol.js';
+export declare const TERMINAL_SERVICE_URL = "api/terminals";
+export declare class TerminalRestAPI {
+    serverConnection: ServerConnection;
+    startNew(options: TerminalOption, serverSettings?: Partial<ISettings>): Promise<TerminalModel>;
+    listRunning(serverSettings?: Partial<ISettings>): Promise<TerminalModel[]>;
+    shutdown(name: string, serverSettings?: Partial<ISettings>): Promise<void>;
+}
+//# sourceMappingURL=restapi.d.ts.map

package/es/restapi.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"restapi.d.ts","sourceRoot":"","sources":["../src/restapi.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAEvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAGzD,OAAO,KAAK,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAEnE,eAAO,MAAM,oBAAoB,kBAAkB,CAAC;AAEpD,qBACa,eAAe;IACA,gBAAgB,EAAE,gBAAgB,CAAC;IAEvD,QAAQ,CACZ,OAAO,EAAE,cAAc,EACvB,cAAc,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,GAClC,OAAO,CAAC,aAAa,CAAC;IAiBnB,WAAW,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC;IAgB1E,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,cAAc,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC;CAwBjF"}