From dc769bad4c765a3c7b54150be90664e7a01caf40 Mon Sep 17 00:00:00 2001
From: Aleksandr Nogikh <nogikh@google.com>
Date: Wed, 30 Jul 2025 12:11:51 +0200
Subject: pkg/manager: display manager name

If the manager name is set, display it in the header.
---
 pkg/manager/html/common.html | 2 +-
 pkg/manager/http.go          | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

(limited to 'pkg/manager')

diff --git a/pkg/manager/html/common.html b/pkg/manager/html/common.html
index 1a6d1c0ef..b1dc34796 100644
--- a/pkg/manager/html/common.html
+++ b/pkg/manager/html/common.html
@@ -14,7 +14,7 @@ Use of this source code is governed by Apache 2 LICENSE that can be found in the
 		<table class="position_table">
 			<tr>
 				<td>
-					<h1><a href="/">syzkaller</a></h1>
+					<h1><a href="/">syzkaller</a>{{if .Name}}: {{.Name}}{{end}}</h1>
 				</td>
 				<td>
 					<form action="/action" method="post">
diff --git a/pkg/manager/http.go b/pkg/manager/http.go
index eaf2459f5..b8ffbca81 100644
--- a/pkg/manager/http.go
+++ b/pkg/manager/http.go
@@ -1081,6 +1081,7 @@ type UIInput struct {
 }
 
 type UIPageHeader struct {
+	Name      string
 	PageTitle string
 	// Relative page URL w/o GET parameters (e.g. "/stats").
 	URLPath string
@@ -1104,6 +1105,7 @@ func (serv *HTTPServer) pageHeader(r *http.Request, title string) UIPageHeader {
 	url.Host = ""
 	url.User = nil
 	return UIPageHeader{
+		Name:            serv.Cfg.Name,
 		PageTitle:       title,
 		URLPath:         r.URL.Path,
 		CurrentURL:      url.String(),
-- 
cgit mrf-deployment