Comment effectuer d'autres opérations sur la console supplier_admin

function stopProvider($name)
{
	$masterPid = getProviderMasterPid($name);
	if (empty($masterPid))
	{
		waitProcessEnd($name);
	}
	else
	{
		if (!posix_kill(intval($masterPid), SIGTERM))
		{
			fwrite(STDERR, "end signal to {$name}: {$masterPid} failed" );
		}
		waitProcessEnd($name);
	}

	$masterFile = FSOF_PROVIDER_PID_PATH.$name.MASTER_PID_FILE_FORMAT;
	$managerFile = FSOF_PROVIDER_PID_PATH.$name.MANAGER_PID_FILE_FORMAT;
	if (file_exists($masterFile))
	{
		unlink($masterFile);
	}
	if (file_exists($managerFile))
	{
		unlink($managerFile);
	}
    echo "stop server {$name} \033[32;40m [SUCCESS] \033[0m".PHP_EOL;
}