1
0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-08-22 09:39:25 +00:00
Files
.github
.vscode
arduino-ide-extension
browser-app
docs
electron
build
patch
main.js
resources
scripts
template-package.json
packager
static
.gitignore
README.md
electron-app
scripts
static
.gitignore
BUILDING.md
Dockerfile
LICENSE.txt
README.md
lerna.json
package.json
yarn.lock
arduino-ide/electron/build/patch/main.js
2021-02-11 09:59:46 +01:00

30 lines
865 B
JavaScript

// @ts-check
const { setup, log } = require('node-log-rotate');
setup({
appName: 'Arduino IDE',
maxSize: 10 * 1024 * 1024
});
for (const name of ['log', 'trace', 'info', 'warn', 'error']) {
const original = console[name];
console[name] = (data => {
original(data);
log(data);
}).bind(console);
}
const { BackendApplicationConfigProvider } = require('@theia/core/lib/node/backend-application-config-provider');
const main = require('@theia/core/lib/node/main');
BackendApplicationConfigProvider.set({
"configDirName": ".arduinoIDE",
"singleInstance": true
});
const serverModule = require('./server');
const serverAddress = main.start(serverModule());
serverAddress.then(function ({ port, address }) {
if (process && process.send) {
process.send({ port, address });
}
});
module.exports = serverAddress;