repl-mcp
Version:
Universal REPL session manager MCP server
33 lines • 1.21 kB
HTML
<html lang="en">
<head>
<meta charset="UTF-8">
<title>REPL MCP xterm.js Terminal</title>
<link rel="icon" type="image/svg+xml" href="/favicon.svg">
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/xterm/css/xterm.css" />
<style>body { margin: 0; background: #222; } #terminal { height: 100vh; width: 100vw; }</style>
<script>
// Extract sessionId from URL path and update title
const titlePathSegments = window.location.pathname.split('/');
const titleSessionId = titlePathSegments[2]; // /session/SESSION_ID
if (titleSessionId) {
// Fetch session info to get displayName
fetch(`/api/session/${titleSessionId}`)
.then(response => response.json())
.then(data => {
const displayName = data.displayName || titleSessionId;
document.title = `${displayName} - repl-mcp`;
})
.catch(() => {
// Fallback to sessionId if API call fails
document.title = `${titleSessionId} - repl-mcp`;
});
}
</script>
</head>
<body>
<div id="terminal"></div>
<script src="https://cdn.jsdelivr.net/npm/xterm/lib/xterm.js"></script>
<script src="/main.js"></script>
</body>
</html>