/var/runtime/node_modules/@aws-sdk/node_modules/@httptoolkit/websocket-stream
This explorer reads the filesystem of the server it runs on, so /workspace/user isn't present here. Browsing and the terminal still work against this server's own disk from /.
var ws = null if (typeof WebSocket !== 'undefined') { ws = WebSocket} else if (typeof MozWebSocket !== 'undefined') { ws = MozWebSocket} else if (typeof window !== 'undefined') { ws = window.WebSocket || window.MozWebSocket} module.exports = ws