Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix: show disconnection on UI web socket #1983 #2005

Closed

Conversation

sahell0x
Copy link
Contributor

@sahell0x sahell0x commented Nov 11, 2024

Description

Issue : #1983

added listners for onClose and onError to detect disconnection in connect_websocket function now UI has mechanism to show disconnections and set status to disconnected if there is disconnection in web-socket.

on graceful disconnection

Screencast.from.2024-11-11.21-56-52.webm

on abrupt disconnection

Screencast.from.2024-11-11.22-14-21.webm

What type of PR is this? (check all applicable)

  • 🍕 Feature
  • 🐛 Bug Fix
  • 📝 Documentation Update
  • 🎨 Style
  • 🧑‍💻 Code Refactor
  • 🔥 Performance Improvements
  • ✅ Test
  • 🤖 Build

Have you tested locally?

  • 👍 yes
  • 🙅 no, because I am lazy

Added tests?

  • 👍 yes
  • 🙅 no, because they aren't needed
  • 🙋 no, because I need help

Added to documentation?

  • 📜 README.md

@sahell0x sahell0x changed the title Feat/1983/add indent fix: show disconnection on UI web socket #1983 Nov 12, 2024
Comment on lines +553 to +598
if (wsData) {
let msgListner: any = wsData.msgListner;

wsData.messages.unshift({
data: `Disconnected from ${url}`,

transmitter: "disconnector",

timestamp: formatTime(new Date()),

uuid: uuidv4(),
});

wsData.status = "disconnected";

webSocketDataMap.set(tabId, wsData);

if (msgListner) {
msgListner();
}
}

return webSocketDataMap;
});

notifications.error("Connection Lost");

console.log("abrupt disconnection");
});

const closeListen = await once(
`ws_graceful_disconnect_${tabId}`,
(event) => {
webSocketDataStore.update((webSocketDataMap) => {
const wsData = webSocketDataMap.get(tabId);

if (wsData) {
let msgListner: any = wsData.msgListner;

wsData.messages.unshift({
data: `Disconnected from ${url}`,

transmitter: "disconnector",

timestamp: formatTime(new Date()),

Copy link
Member

@itsmdasifraza itsmdasifraza Nov 12, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

these two ERR and Close listeners should be not required, should be only handled with current listener using parameters.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants