killProcess($val)) { $killed++; } } queries_redirect(ME . "processlist=", lang('%d process(es) have been killed.', $killed), $killed || !$_POST["kill"]); } } page_header(lang('Process list'), $error); ?>
" . shorten_utf8($val, 100, "
\n"; } echo input_token(); ?>