mirror of
https://github.com/soconnor0919/hristudio.git
synced 2025-12-11 06:34:44 -05:00
Sean O'Connor
18fa6bff5f
- Removed non-functional trial WebSocket (no server exists) - Kept ROS WebSocket for robot control via useWizardRos - Fixed duplicate ROS connections by passing connection as props - WizardMonitoringPanel now receives ROS connection from parent - Trial status uses reliable tRPC polling (5-15s intervals) - Updated connection badges to show 'ROS Connected/Offline' - Added loading overlay with fade-in to designer - Fixed hash computation to include parameter values - Fixed incremental hash caching for parameter changes Fixes: - WebSocket connection errors eliminated - Connect button now works properly - No more conflicting duplicate connections - Accurate connection status display
57 lines
1.2 KiB
JSON
Executable File
57 lines
1.2 KiB
JSON
Executable File
{
|
|
"compilerOptions": {
|
|
/* Base Options: */
|
|
"esModuleInterop": true,
|
|
"skipLibCheck": true,
|
|
"target": "es2022",
|
|
"allowJs": true,
|
|
"resolveJsonModule": true,
|
|
"moduleDetection": "force",
|
|
"isolatedModules": true,
|
|
"verbatimModuleSyntax": true,
|
|
/* Strictness */
|
|
"strict": true,
|
|
"noUncheckedIndexedAccess": true,
|
|
"checkJs": true,
|
|
/* Bundled projects */
|
|
"lib": [
|
|
"dom",
|
|
"dom.iterable",
|
|
"ES2022"
|
|
],
|
|
"noEmit": true,
|
|
"module": "ESNext",
|
|
"moduleResolution": "Bundler",
|
|
"jsx": "react-jsx",
|
|
"plugins": [
|
|
{
|
|
"name": "next"
|
|
}
|
|
],
|
|
"incremental": true,
|
|
/* Path Aliases */
|
|
"baseUrl": ".",
|
|
"paths": {
|
|
"~/*": [
|
|
"./src/*"
|
|
]
|
|
}
|
|
},
|
|
"include": [
|
|
// FlowWorkspace (flow/FlowWorkspace.tsx) and new designer modules are included via recursive globs
|
|
"next-env.d.ts",
|
|
"**/*.ts",
|
|
"**/*.tsx",
|
|
"**/*.cjs",
|
|
"**/*.js",
|
|
".next/types/**/*.ts",
|
|
"src/components/experiments/designer/**/*.ts",
|
|
"src/components/experiments/designer/**/*.tsx",
|
|
".next/dev/types/**/*.ts"
|
|
],
|
|
"exclude": [
|
|
"node_modules",
|
|
"robot-plugins"
|
|
]
|
|
}
|