diff --git a/html/ops/index.php b/html/ops/index.php index ee4cba3acd..1a7ba064bc 100644 --- a/html/ops/index.php +++ b/html/ops/index.php @@ -17,18 +17,52 @@ admin_page_head($title); // Notification area echo "\n"; echo "

- +
@@ -99,63 +133,63 @@ echo " // Application Result Summaries: $show_deprecated = get_str("show_deprecated", true); -$show_only = array('all'); // Add all appid's you want to display, or 'all' +$show_only = array("all"); // Add all appids you want to display, or "all" $result = mysql_query("select id, name, deprecated from app"); while ($app = mysql_fetch_object($result)) { - if ( in_array($app->id, $show_only) + if (in_array($app->id, $show_only) || ( in_array("all", $show_only) && (!$app->deprecated || $show_deprecated) ) ) { - + echo " - Result summary for $app->name: - + "; } } mysql_free_result($result); if ($show_deprecated) { - echo "Hide deprecated applications"; + echo "Hide deprecated applications"; } else { - echo "Show deprecated applications"; + echo "Show deprecated applications"; } // Periodic tasks echo "

Periodic or special tasks

- "; - // Stripcharts, logs, etc -echo "

- Stripcharts - | Show/Grep all logs - | Tail MySQL logs -

- "; +echo "

+ Stripcharts + | Show/Grep all logs + | Tail MySQL logs +
+"; + +admin_page_tail(); ?>
Browse database: - + Regular Operations: - + Special Operations: