jupyterlab-slurm
Version:
A JupyterLab extension to interface with the Slurm workload manager.
70 lines • 3.03 kB
JavaScript
;
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