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 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pkg/manager/html/common.html')

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">
-- 
cgit mrf-deployment