Skip to content

Commit fe33152

Browse files
authored
Added host setting option for pio interaction on ip address other than 127.0.0.1 to help with dockerized environments (platformio#2468)
1 parent c28ab18 commit fe33152

File tree

2 files changed

+6
-0
lines changed

2 files changed

+6
-0
lines changed

package.json

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -598,6 +598,11 @@
598598
"type": "integer",
599599
"description": "PIO Home server HTTP port (the default value 0 automatically assigns a free port in the range [8010..8100])"
600600
},
601+
"platformio-ide.pioHomeServerHttpHost": {
602+
"type": "string",
603+
"default": "127.0.0.1",
604+
"description": "PIO Home server HTTP host (default is 127.0.0.1, but in case of dockerized environments 0.0.0.0)"
605+
},
601606
"platformio-ide.customPyPiIndexUrl": {
602607
"type": [
603608
"string",

src/home.js

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -95,6 +95,7 @@ export default class PIOHome {
9595
this._lastStartUrl = startUrl;
9696
await pioNodeHelpers.home.ensureServerStarted({
9797
port: extension.getSetting('pioHomeServerHttpPort'),
98+
host: extension.getSetting('pioHomeServerHttpHost'),
9899
onIDECommand: async (command, params) => {
99100
if (command === 'open_project') {
100101
if (extension.projectObservable) {

0 commit comments

Comments
 (0)