shell.port is an int setting, not num

This commit is contained in:
Marcus Weseloh 2020-11-02 19:00:35 +01:00
parent 8d5377e391
commit cd4376dfea

View file

@ -711,7 +711,7 @@ Developers: Settings can be deprecated by adding: <deprecated>SOME TEXT</depreca
</setting> </setting>
<setting> <setting>
<name>port</name> <name>port</name>
<type>num</type> <type>int</type>
<def>9800</def> <def>9800</def>
<min>1</min> <min>1</min>
<max>65535</max> <max>65535</max>