header details on map, too

htdocs/map.html

@@ -7,6 +7,7 @@
     <script src="static/lib/chroma.min.js"></script>
     <script src="static/map.js"></script>
     <script src="https://cdnjs.cloudflare.com/ajax/libs/moment.js/2.24.0/moment.min.js"></script>
+    <script src="static/lib/Header.js"></script>
     <link rel="stylesheet" type="text/css" href="static/css/map.css" />
     <meta charset="utf-8">
 </head>

htdocs/map.js

@@ -250,6 +250,11 @@
                     case "update":
                         processUpdates(json.value);
                     break;
+                    case 'receiver_details':
+                        $('#webrx-top-container').header().setDetails(json['value']);
+                    break;
+                    default:
+                        console.warn('received message of unknown type: ' + json['type']);
                 }
             } catch (e) {
                 // don't lose exception