Archived
1
0

main #3

Merged
OCram85 merged 47 commits from :main into main 2024-07-29 10:55:18 +02:00
Showing only changes of commit fb3e3e1546 - Show all commits

View File

@ -164,6 +164,11 @@ export const runCodeServer = async (
logger.info(`Session server listening on ${sessionServerAddress.toString()}`)
}
if (process.env.EXTENSIONS_GALLERY) {
logger.info("Using custom extensions gallery")
logger.debug(` - ${process.env.EXTENSIONS_GALLERY}`)
}
if (args.enable && args.enable.length > 0) {
logger.info("Enabling the following experimental features:")
args.enable.forEach((feature) => {