diff options
author | Deven Bansod <devenbansod.bits@gmail.com> | 2015-02-21 18:04:19 +0300 |
---|---|---|
committer | Deven Bansod <devenbansod.bits@gmail.com> | 2015-02-22 20:22:47 +0300 |
commit | 42d5a90f2f35ac3036c934d458e9069947b87bc4 (patch) | |
tree | 504cd7da1ad06661635a562d92206f9c36ecf158 /server_status_processes.php | |
parent | 127ba15547a6c2c347227d0fb1af6db7d4a80549 (diff) |
Add Filter to Process List | Feature #1606
Signed-off-by: Deven Bansod <devenbansod.bits@gmail.com>
Diffstat (limited to 'server_status_processes.php')
-rw-r--r-- | server_status_processes.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/server_status_processes.php b/server_status_processes.php index f9a0a8052b..f5dfb3c266 100644 --- a/server_status_processes.php +++ b/server_status_processes.php @@ -57,6 +57,7 @@ if ($response->isAjax() && !empty($_REQUEST['kill'])) { $response->addHTML('<div>'); $response->addHTML($ServerStatusData->getMenuHtml()); $response->addHTML(PMA_getHtmlForServerProcesses()); + $response->addHTML(PMA_getHtmlForProcessListFilter()); $response->addHTML('</div>'); } exit; |