/devtools/server/
drwxr-xr-x [up]
drwxr-xr-x actors
drwxr-xr-x connectors
drwxr-xr-x performance
drwxr-xr-x socket
drwxr-xr-x startup
drwxr-xr-x tests
-rw-r--r-- 2019-08-15 19:08 +0000 18298 debugger-server-connection.js
-rw-r--r-- 2019-08-15 19:08 +0000 17146 debugger-server.js
-rw-r--r-- 2019-08-15 19:08 +0000 790 moz.build