9 commits

Author	SHA1	Message	Date
Josh Matthews	f4915ef6c9	devtools: Track multiple clients better, and cleanup streams when a client isn't reachable.	2020-08-06 09:55:01 -04:00
Josh Matthews	0b619bf920	devtools: Don't panic when sending to a disconnected client fails.	2020-08-05 14:55:48 -04:00
Josh Matthews	84074d3c86	Update devtools server for Firefox 71.	2019-12-13 17:02:35 -05:00
Jan Andre Ikenmeyer	1d6fe65401	Update MPL license to https (part 4)	2018-11-19 14:47:27 +01:00
Pyfisch	9e92eb205a	Reorder imports	2018-11-06 22:35:07 +01:00
Pyfisch	cb07debcb6	Format remaining files	2018-11-06 22:30:31 +01:00
Simon Sapin	45f7199eee	cargo fix --edition	2018-11-06 15:26:02 +01:00
codehag	61d31a5494	fix lint issues	2018-10-14 19:31:26 +02:00
codehag	5c8492d760	DevTools - add DeviceActor and update Root to own global actors	2018-10-14 16:39:20 +02:00