Skip to content

Commit 094ad6c

Browse files
taneltmmrts
authored andcommitted
Fix DevTools panel disconnecting in Chrome after 30 seconds of inactivity
WE2-967 Includes minor cleanup for DevTools related files Signed-off-by: Tanel Metsar <[email protected]>
1 parent b5f32d4 commit 094ad6c

File tree

3 files changed

+21
-7
lines changed

3 files changed

+21
-7
lines changed

static/views/devtools/panels/devtools-webeid.html

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,11 +22,13 @@
2222

2323
<div class="version" title="Extension version"></div>
2424
</header>
25+
2526
<main>
2627
<section data-page="events">
2728
<div id="event-list"></div>
2829
<pre id="event-details"></pre>
2930
</section>
31+
3032
<section data-page="log">
3133
<div class="toolbar">
3234
<div class="group">
@@ -44,12 +46,12 @@
4446
</div>
4547
<div id="log-messages"></div>
4648
</section>
49+
4750
<section data-page="settings">
4851
<div class="warning">The settings you change here apply to all pages and persist even after closing DevTools.</div>
4952
<table>
5053
<tbody id="settings-list"></tbody>
5154
</table>
52-
5355
</section>
5456
</main>
5557

static/views/devtools/panels/devtools-webeid.js

Lines changed: 18 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -24,11 +24,27 @@ import events from "./webeid-events.js";
2424
import log from "./webeid-log.js";
2525
import settings from "./webeid-settings.js";
2626

27-
2827
const backgroundConnection = chrome.runtime.connect({
2928
name: "webeid-devtools",
3029
});
3130

31+
const keepAliveInterval = setInterval(() => {
32+
backgroundConnection.postMessage({ devtools: "keep-alive" });
33+
}, 20000);
34+
35+
backgroundConnection.onDisconnect.addListener(() => {
36+
clearInterval(keepAliveInterval);
37+
38+
log.append({
39+
source: "devtools-webeid.js",
40+
type: "error",
41+
time: new Date().toISOString().match(/T((.)*)Z/)[1],
42+
message: [
43+
"Web eID DevTools panel disconnected from the extension. Please reopen the browser DevTools to continue."
44+
],
45+
});
46+
});
47+
3248
backgroundConnection.onMessage.addListener((message) => {
3349
if (!message.tabId || message.tabId === chrome.devtools.inspectedWindow.tabId) {
3450
if (message.devtools === "log") {
@@ -58,4 +74,4 @@ backgroundConnection.onMessage.addListener((message) => {
5874
document.querySelector('header .version').textContent = defaultConfig.VERSION;
5975
}
6076
}
61-
});
77+
});

static/views/devtools/panels/webeid-log.js

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -47,12 +47,8 @@ function createLogEntryElement(type, time, message, source) {
4747

4848
function stringifyError(error) {
4949
const {
50-
fileName,
51-
lineNumber,
52-
columnNumber,
5350
message,
5451
name,
55-
code,
5652
stack,
5753
} = error;
5854

0 commit comments

Comments
 (0)