gecko-dev/devtools/server
Nicolas Chevobbe efe9743fe7 Bug 1495728 - Remove unused ActorPool class. r=ochameau.
This class isn't used anymore, and it's safe to remove it.
We take this as an opportunity to remove Pool#cleanup and
Pool#isEmpty, which each only had one callsite.
Some comments are updated to not mention ActorPool.

Differential Revision: https://phabricator.services.mozilla.com/D80602
2020-06-24 07:39:06 +00:00
..
actors Bug 1495728 - Remove unused ActorPool class. r=ochameau. 2020-06-24 07:39:06 +00:00
connectors Bug 1621713 - Don't create extra ActorPools in devtools/server. r=jdescottes. 2020-06-24 07:38:09 +00:00
performance Bug 1144438 - Remove false error notification when the profiler stops; r=julienw 2020-03-02 16:37:04 +00:00
socket Bug 1620542 - Automatically fix ESLint errors in .eslintrc.js files. r=mossop 2020-03-07 10:09:44 +00:00
startup Bug 1621713 - Don't create extra ActorPools in devtools/server. r=jdescottes. 2020-06-24 07:38:09 +00:00
tests Bug 1495728 - Remove unused ActorPool class. r=ochameau. 2020-06-24 07:39:06 +00:00
devtools-server-connection.js Bug 1495728 - Remove unused ActorPool class. r=ochameau. 2020-06-24 07:39:06 +00:00
devtools-server.js Bug 1620243 - Watch console messages resources from the server side. r=nchevobbe,jdescottes 2020-06-09 18:22:45 +00:00
moz.build Bug 1614793 - Rename DebuggerServerConnection to DevToolsServerConnection. r=jdescottes 2020-02-18 15:28:49 +00:00