/var/lang/lib/node_modules/npm/node_modules/undici/lib/web/eventsource
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 /.
'use strict' /** * Checks if the given value is a valid LastEventId. * @param {string} value * @returns {boolean} */function isValidLastEventId (value) { // LastEventId should not contain U+0000 NULL return value.indexOf('\u0000') === -1} /** * Checks if the given value is a base 10 digit. * @param {string} value * @returns {boolean} */function isASCIINumber (value) { if (value.length === 0) return false for (let i = 0; i < value.length; i++) { if (value.charCodeAt(i) < 0x30 || value.charCodeAt(i) > 0x39) return false } return true} // https://github.com/nodejs/undici/issues/2664function delay (ms) { return new Promise((resolve) => { setTimeout(resolve, ms).unref() })} module.exports = { isValidLastEventId, isASCIINumber, delay}