Update default port from 8088 to 9000

- Update embedded/index.html WebSocket URL
- Update minimal/index.html BotServer URL

Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>
This commit is contained in:
Claude Sonnet 4.5 2026-02-08 12:14:01 +00:00
parent 607ad076d9
commit 6b1dcc9d3f
2 changed files with 3 additions and 3 deletions

View file

@ -153,7 +153,7 @@
<script> <script>
// Configuration // Configuration
const CONFIG = { const CONFIG = {
serverUrl: window.BOTSERVER_URL || 'http://localhost:8088', serverUrl: window.BOTSERVER_URL || 'http://localhost:9000',
maxMessages: 10, // Keep memory low maxMessages: 10, // Keep memory low
maxMsgLen: 100, // Truncate long messages maxMsgLen: 100, // Truncate long messages
}; };

View file

@ -5,9 +5,9 @@
<title>General Bots</title> <title>General Bots</title>
<meta name="viewport" content="width=device-width,initial-scale=1.0" /> <meta name="viewport" content="width=device-width,initial-scale=1.0" />
<script> <script>
// BotServer URL - configurable via window.BOTSERVER_URL or defaults to same origin port 8088 // BotServer URL - configurable via window.BOTSERVER_URL or defaults to same origin port 9000
const BOTSERVER_URL = const BOTSERVER_URL =
window.BOTSERVER_URL || "https://localhost:8088"; window.BOTSERVER_URL || "https://localhost:9000";
const BOTSERVER_WS_URL = BOTSERVER_URL.replace( const BOTSERVER_WS_URL = BOTSERVER_URL.replace(
"https://", "https://",
"wss://", "wss://",