REST API: implemented GUI code for /sdrangel/deviceset/{deviceSetIndex}/spectrum/settings (GET) and /sdrangel/deviceset/{deviceSetIndex}/spectrum/server (GET)

sdrbase/resources/webapi/doc/html2/index.html

@@ -4753,6 +4753,10 @@ margin-bottom: 20px;
     "wsSpectrumAddress" : {
       "type" : "string",
       "description" : "IPv4 address of interface the websocket server is listening to"
+    },
+    "wsSpectrumPort" : {
+      "type" : "integer",
+      "description" : "port on which the websocket server is listening"
     }
   },
   "description" : "GLSpectrumGUI settings"
@@ -44592,7 +44596,7 @@ except ApiException as e:
           </div>
           <div id="generator">
             <div class="content">
-              Generated 2020-11-11T12:04:23.918+01:00
+              Generated 2020-11-11T13:32:52.276+01:00
             </div>
           </div>
       </div>