From c42de09e5ca87ff33b3ff853d2177f1585d9557a Mon Sep 17 00:00:00 2001 From: kanoi Date: Thu, 26 Mar 2015 18:20:41 +1100 Subject: [PATCH] ckdb/php - show only recent workers with an option to disable it --- pool/page.php | 2 +- pool/page_workmgt.php | 61 +++++--- src/ckdb.h | 4 +- src/ckdb_cmd.c | 325 +++++++++++++++++++++++++----------------- 4 files changed, 243 insertions(+), 149 deletions(-) diff --git a/pool/page.php b/pool/page.php index 9d377438..adecb75f 100644 --- a/pool/page.php +++ b/pool/page.php @@ -165,7 +165,7 @@ function pghead($script_marker, $name) $head .= "window.onpaint=jst();\n\n"; $head .= "