close the source tab in case the port didn't report onDisconnect
fixes #349
This commit is contained in:
parent
44a11508ff
commit
683e73ceb9
|
@ -59,6 +59,12 @@
|
||||||
id === tabId &&
|
id === tabId &&
|
||||||
url && url !== tabUrl &&
|
url && url !== tabUrl &&
|
||||||
closeCurrentTab());
|
closeCurrentTab());
|
||||||
|
// close the tab in case the port didn't report onDisconnect
|
||||||
|
chrome.tabs.onRemoved.addListener(id => {
|
||||||
|
if (id === tabId) {
|
||||||
|
closeCurrentTab();
|
||||||
|
}
|
||||||
|
});
|
||||||
|
|
||||||
function liveReloadUpdate(sourceCode) {
|
function liveReloadUpdate(sourceCode) {
|
||||||
liveReloadPending = liveReloadPending.then(() => {
|
liveReloadPending = liveReloadPending.then(() => {
|
||||||
|
|
Loading…
Reference in New Issue
Block a user