/** * This file is a part of MyWebSQL package * * @file: modules/processes.php * @author Samnan ur Rehman * @copyright (c) 2008-2014 Samnan ur Rehman * @web http://mywebsql.net * @license http://mywebsql.net/license */ function processRequest(&$db) { // html and form is started by calling function print "<link href='cache.php?css=theme,default,alerts,results' rel=\"stylesheet\" />\n"; $type = 'message ui-state-highlight'; if (isset($_REQUEST['prcid']) && is_array($_REQUEST['prcid'])) { $killed = $missed = array(); foreach ($_REQUEST['prcid'] as $process_id) { if (ctype_digit($process_id) && killProcess($db, $process_id)) { $killed[] = $process_id; } else { $missed[] = $process_id; } } if (count($killed) > 0) { $msg = str_replace('{{PID}}', implode(',', $killed), __('The process with id [{{PID}}] was killed')); $type = 'message ui-state-default'; } else { $msg = str_replace('{{PID}}', implode(',', $missed), __('No such process [id = {{PID}}]')); $type = 'message ui-state-error'; } } else { $msg = __('Select a process and click the button to kill the process'); } displayProcessList($db, $msg, $type); }
public function stop() { killProcess($this->PID); $this->PID = null; $this->saveState(); }