diff options
| author | Erich Eckner <git@eckner.net> | 2018-04-17 13:30:43 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-04-17 13:30:43 +0200 |
| commit | d71ef8a35787bce195db69e2e70e74032e6aa1d5 (patch) | |
| tree | bb4ee6a1441dd49ea1810f636f13be95796667c4 /packages/pkginfo.php | |
| parent | 336ca22abf7f14444185fe8543d7188a248b5a06 (diff) | |
| download | archweb32-d71ef8a35787bce195db69e2e70e74032e6aa1d5.tar.xz | |
show warning on stopped slave
Diffstat (limited to 'packages/pkginfo.php')
| -rw-r--r-- | packages/pkginfo.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/packages/pkginfo.php b/packages/pkginfo.php index ef7ddeb..7d213a2 100644 --- a/packages/pkginfo.php +++ b/packages/pkginfo.php @@ -227,6 +227,7 @@ <link rel="shortcut icon" type="image/x-icon" href="/static/favicon.ico" /> </head> <body class=""> +<?php show_warning_on_offline_slave(); ?> <div id="archnavbar" class="anb-packages"> <div id="archnavbarlogo"> <h1><a href="/" title="Return to the main page">Arch Linux</a></h1> |