import React, { useState, useEffect, useRef } from "react"; import { EventEmitter } from "../../utils/EventEmitter"; import { RunningScript } from "../../Script/RunningScript"; import { killWorkerScript } from "../../Netscript/killWorkerScript"; import Typography from "@mui/material/Typography"; import Box from "@mui/material/Box"; import Button from "@mui/material/Button"; import Paper from "@mui/material/Paper"; import Draggable from "react-draggable"; import { ResizableBox } from "react-resizable"; import makeStyles from "@mui/styles/makeStyles"; import createStyles from "@mui/styles/createStyles"; import ArrowForwardIosIcon from "@mui/icons-material/ArrowForwardIos"; import _ from "lodash"; export const LogBoxEvents = new EventEmitter<[RunningScript]>(); interface Log { id: string; script: RunningScript; } export function LogBoxManager(): React.ReactElement { const [logs, setLogs] = useState([]); useEffect( () => LogBoxEvents.subscribe((script: RunningScript) => { const id = script.server + "-" + script.filename + script.args.map((x: any): string => `${x}`).join("-"); setLogs((old) => { return [ ...old, { id: id, script: script, }, ]; }); }), [], ); function close(id: string): void { setLogs((old) => old.filter((l) => l.id !== id)); } return ( <> {logs.map((log) => ( close(log.id)} /> ))} ); } interface IProps { script: RunningScript; id: string; onClose: () => void; } const useStyles = makeStyles(() => createStyles({ logs: { overflowY: "scroll", overflowX: "hidden", scrollbarWidth: "auto", display: "flex", flexDirection: "column-reverse", }, }), ); function LogWindow(props: IProps): React.ReactElement { const classes = useStyles(); const container = useRef(null); const setRerender = useState(false)[1]; function rerender(): void { setRerender((old) => !old); } useEffect(() => { const id = setInterval(rerender, 1000); return () => clearInterval(id); }, []); function kill(): void { killWorkerScript(props.script, props.script.server, true); props.onClose(); } //useEffect(() => TerminalEvents.subscribe(_.debounce(async () => rerender(), 25, { maxWait: 50 })), []); function updateLayer(): void { const c = container.current; if (c === null) return; c.style.zIndex = (new Date().getTime() % 1000000000) + 1500 + ""; rerender(); } return (
{props.script.filename} {props.script.args.map((x: any): string => `${x}`).join(" ")} } > {props.script.logs.map( (line: string, i: number): JSX.Element => ( {line}
), )}
); }