diff options
Diffstat (limited to 'setup')
| -rw-r--r-- | setup/default.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/setup/default.xml b/setup/default.xml index 306421675..71e14f501 100644 --- a/setup/default.xml +++ b/setup/default.xml @@ -283,5 +283,6 @@ <entry key='jido.port'>5237</entry> <entry key='armoli.port'>5238</entry> <entry key='teratrack.port'>5239</entry> + <entry key='envotech.port'>5240</entry> </properties> |