From 62fc8b97056fdd226bd2df7c5413623f92243ff2 Mon Sep 17 00:00:00 2001
From: Dan Abramov <dan.abramov@gmail.com>
Date: Fri, 10 Feb 2017 17:32:38 +0000
Subject: [PATCH] Fix plugin cleanup

---
 packages/react-devtools-core/src/backend.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/packages/react-devtools-core/src/backend.js b/packages/react-devtools-core/src/backend.js
index cf14f92922..eccd359724 100644
--- a/packages/react-devtools-core/src/backend.js
+++ b/packages/react-devtools-core/src/backend.js
@@ -116,6 +116,8 @@ function setupBackend(wall, resolveRNStyle) {
     if (agent) {
       agent.emit('shutdown');
     }
+    // This appears necessary for plugin (e.g. Relay) cleanup.
+    window.__REACT_DEVTOOLS_GLOBAL_HOOK__.emit('shutdown');
     bridge = null;
     agent = null;
     console.log('closing devtools');