Merge pull request #18178 from ShirasawaSama/patch-34

fix: fix incorrect display of undefined tool ID
This commit is contained in:
Tim Jaeryang Baek 2025-10-09 14:19:52 -05:00 committed by GitHub
commit b37eb3dd5f
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -54,7 +54,7 @@
</Tooltip> </Tooltip>
<div class=" capitalize outline-hidden w-full bg-transparent"> <div class=" capitalize outline-hidden w-full bg-transparent">
{connection?.info?.name ?? connection?.url} {connection?.info?.name ?? connection?.url}
<span class="text-gray-500">{connection?.info?.id}</span> <span class="text-gray-500">{connection?.info?.id ?? ''}</span>
</div> </div>
</div> </div>
</div> </div>