TNT-Flo/sandbox-web-ide
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

feat: add theme to terminal

Browse Source
This commit is contained in:
Hamzat Victor
2024-10-23 11:55:38 +01:00
parent 9546d4ad7b
commit e2d237fe09
3 changed files with 81 additions and 36 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
backend/server/src/index.ts
View File

@ -224,10 +224,11 @@ io.on("connection", async (socket) => {
containers[data.sandboxId],
sendLoadedEvent
)
await fileManagers[data.sandboxId].initialize()
terminalManagers[data.sandboxId] = new TerminalManager(
containers[data.sandboxId]
)
console.log(`terminal manager set up for ${data.sandboxId}`)
await fileManagers[data.sandboxId].initialize()
}
const fileManager = fileManagers[data.sandboxId]
@ -415,6 +416,12 @@ io.on("connection", async (socket) => {
socket.on("createTerminal", async (id: string, callback) => {
try {
await lockManager.acquireLock(data.sandboxId, async () => {
let terminalManager = terminalManagers[data.sandboxId]
if (!terminalManager) {
terminalManager = terminalManagers[data.sandboxId] =
new TerminalManager(containers[data.sandboxId])
}
await terminalManager.createTerminal(id, (responseString: string) => {
socket.emit("terminalResponse", { id, data: responseString })
const port = extractPortNumber(responseString)