UNPKG

jupyterlab-slurm

Version:

A JupyterLab extension to interface with the Slurm workload manager.

70 lines 3.03 kB
"use strict"; var __awaiter = (this && this.__awaiter) || function (thisArg, _arguments, P, generator) { function adopt(value) { return value instanceof P ? value : new P(function (resolve) { resolve(value); }); } return new (P || (P = Promise))(function (resolve, reject) { function fulfilled(value) { try { step(generator.next(value)); } catch (e) { reject(e); } } function rejected(value) { try { step(generator["throw"](value)); } catch (e) { reject(e); } } function step(result) { result.done ? resolve(result.value) : adopt(result.value).then(fulfilled, rejected); } step((generator = generator.apply(thisArg, _arguments || [])).next()); }); }; var __importDefault = (this && this.__importDefault) || function (mod) { return (mod && mod.__esModule) ? mod : { "default": mod }; }; Object.defineProperty(exports, "__esModule", { value: true }); const react_1 = __importDefault(require("react")); const apputils_1 = require("@jupyterlab/apputils"); const coreutils_1 = require("@jupyterlab/coreutils"); const apputils_2 = require("@jupyterlab/apputils"); const signaling_1 = require("@lumino/signaling"); // Local const utils_1 = require("./utils"); const SlurmManager_1 = __importDefault(require("./components/SlurmManager")); const lodash_1 = require("lodash"); class SlurmWidget extends apputils_1.ReactWidget { constructor(filebrowser) { super(); /** * Fired when the user changes, eg., once the info has been loaded */ this.userChanged = new signaling_1.Signal(this); this.id = lodash_1.uniqueId('slurm-'); this.addClass('jp-SlurmWidget'); this.title.label = 'Slurm Queue Manager'; this.title.closable = true; this.filebrowser = filebrowser; this.serverRoot = coreutils_1.PageConfig.getOption('serverRoot'); } get user() { return this._user; } set user(user) { this._user = user; this.userChanged.emit(user); } fetchUser() { return __awaiter(this, void 0, void 0, function* () { const user = yield utils_1.makeRequest({ route: 'user', method: 'GET', afterResponse: (response) => __awaiter(this, void 0, void 0, function* () { if (response.status !== 200) { throw Error(response.statusText); } else { return response.text(); } }) }); this.user = user; }); } onAfterAttach() { this.fetchUser(); } render() { return (react_1.default.createElement(apputils_2.UseSignal, { signal: this.userChanged, initialSender: this, initialArgs: '' }, (_, user) => (react_1.default.createElement(SlurmManager_1.default, { serverRoot: this.serverRoot, filebrowser: this.filebrowser, user: user })))); } } exports.default = SlurmWidget; //# sourceMappingURL=slurmWidget.js.map