diff --git a/src/main/resources/resource/TerminalManager.png b/src/main/resources/resource/TerminalManager.png deleted file mode 100644 index e212bb9b2d..0000000000 Binary files a/src/main/resources/resource/TerminalManager.png and /dev/null differ diff --git a/src/main/resources/resource/WebGui/app/service/js/TerminalManagerGui.js b/src/main/resources/resource/WebGui/app/service/js/TerminalManagerGui.js deleted file mode 100644 index 17a85e6e53..0000000000 --- a/src/main/resources/resource/WebGui/app/service/js/TerminalManagerGui.js +++ /dev/null @@ -1,72 +0,0 @@ -angular.module("mrlapp.service.TerminalManagerGui", []).controller("TerminalManagerGuiCtrl", ["$scope", "mrl", function($scope, mrl) { - console.info("TerminalManagerGuiCtrl") - var _self = this - var msg = this.msg - - $scope.processCommand = function(key, input) { - msg.send("processCommand", key, input) - $scope.service.inputValue = "" - } - - this.onMsg = function(inMsg) { - let data = inMsg.data[0] - switch (inMsg.method) { - case "onState": - $scope.service = data - $scope.$apply() - break - case "onLog": - $scope.service.terminals[data.terminal].output = $scope.service.terminals[data.terminal].output + data.msg - let length = $scope.service.terminals[data.terminal].output.length - if (length > 1024) { - let overLength = length - 1024; - $scope.service.terminals[data.terminal].output = $scope.service.terminals[data.terminal].output.substring(overLength); - } - // $scope.$apply() - $scope.$apply(function() { - // Scroll logic here - // Assuming you can uniquely identify the
for this terminal - let terminalElement = document.querySelector('.terminal-wrapper[data-terminal-id="' + data.terminal + '"] .terminal2'); - if (terminalElement) { - terminalElement.scrollTop = terminalElement.scrollHeight; - } - }); - - break - case "onStdOut": - break - case "onCmd": - // FIXME - keep a list of commands ... can support history and maybe more importantly - // script generation to make automated packages - $scope.service.terminals[data.terminal].output = $scope.service.terminals[data.terminal].output + '# ' + data.cmd - $scope.$apply() - break - default: - console.error("ERROR - unhandled method " + $scope.name + " " + inMsg.method) - break - } - } - - // Assuming `service` is your service managing terminals - $scope.startTerminal = function(key) { - msg.send("startTerminal", key) - } - - $scope.terminateTerminal = function(key) { - msg.send("terminateTerminal", key) - } - - $scope.saveTerminal = function(key) { - msg.send("saveTerminal", key) - } - - $scope.deleteTerminal = function(key) { - msg.send("deleteTerminal", key) - } - - msg.subscribe("publishLog") - // msg.subscribe("publishStdOut") - msg.subscribe("publishCmd") - msg.subscribe(this) -} -, ]) diff --git a/src/main/resources/resource/WebGui/app/service/views/TerminalManagerGui.html b/src/main/resources/resource/WebGui/app/service/views/TerminalManagerGui.html deleted file mode 100644 index fe42096ccb..0000000000 --- a/src/main/resources/resource/WebGui/app/service/views/TerminalManagerGui.html +++ /dev/null @@ -1,102 +0,0 @@ - -
- | - | - | Name | -PID | -Shell | -Command | -Control | -
---|---|---|---|---|---|---|---|
- - | -
- ![]() |
-
- |
- - {{key}} - | -- {{value.pid}} - | -- {{value.shellCommand}} - | -- {{value.lastInput}} - | -- | - -
{{value.output}}- - -