1
0
mirror of https://github.com/laurent22/joplin.git synced 2025-12-02 22:49:09 +02:00

Clipper: Make dev icon look different and run dev server on different port

This commit is contained in:
Laurent Cozic
2018-05-26 11:18:54 +01:00
parent a2da2f681c
commit 0938297250
6 changed files with 28 additions and 10 deletions

View File

@@ -203,7 +203,7 @@ class ClipperServer {
let state = null;
for (let i = 0; i < 10000; i++) {
state = randomClipperPort(state);
state = randomClipperPort(state, Setting.value('env'));
const inUse = await tcpPortUsed.check(state.port);
if (!inUse) return state.port;
}