diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2024-01-09 16:27:55 +0100 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2024-01-09 17:48:04 +0000 |
| commit | b438bd66d6f95113d52f25c25bfef0e963c8ce8d (patch) | |
| tree | affa3733771acfc752397dc89a1c6e712d4d622c /pkg/html/pages | |
| parent | 83b32fe8f20dc1e910866fa110b0d872df283f03 (diff) | |
dashboard: introduce an emergency stop mode
Add an emergency stop button that can be used by any admin. After it's
clicked two times, syzbot stops all reporting and recoding of new bugs.
It's assumed that the stop mode is revoked by manually deleting an entry
from the database.
Diffstat (limited to 'pkg/html/pages')
| -rw-r--r-- | pkg/html/pages/style.css | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/pkg/html/pages/style.css b/pkg/html/pages/style.css index 9dd1bca7f..156bf61ba 100644 --- a/pkg/html/pages/style.css +++ b/pkg/html/pages/style.css @@ -409,3 +409,15 @@ aside { .collapsible-show .show-icon { display: none; } + +.emergency-stop { + background-color: yellow; + padding: 5pt; + margin-bottom: 5pt; +} + +.emergency-stopped { + background-color: coral; + padding: 5pt; + margin-bottom: 5pt; +} |