Сайт справки
  • Авторизация
  • Обратная связь
  • Теги
    • Joomla
      • JLoader
      • Mootools
      • Bootstrap
      • jQuery
      • jQuery UI
      • Конфликты JS
      • Joomla! Javascript Framework
      • JS Фреймворки
      • Ajax
      • JS
      • MVC
      • JoomShopping
      • Сессии
    • JS

Расширенный поиск
  • Вы здесь:  
  • Главная
  • Разное
  • Linux
  • Работа с сервисами в Ubuntu
  • php
  • Многопоточность
  • parallel

Класс parallel\Events\Event

(0.9.0)

Объект события

При возврате События Event::$object удаляется из возвращающего его цикла, если событие является событием записи, также удаляется Input из Event::$source.

Обзор классов

final parallel\Events\Event {
	/* олжна быть одна из констант Event\Type */
	public int $type ;
	/* Должно быть источником события (целевое название) */
	public string $source ;
	/* Должно быть либо Future или Channel */
	public object $object ;
	/* Должно быть установлено для событий  Read/Error */
	public $value ;
}

 

Подкатегории


  • Как запускать, останавливать или перезапускать сервисы в Ubuntu
  • Как правильно запустить php-демона из php-скрипта?
  • Установка Docker Engine на Ubuntu.
  • Настройка сети вручную
  • Основные команды Linux
  • PHP 7.0 и PHP 5.6 на одном сервере
  • Архивирование с помощью zip в Debian/Ubuntu/Linux. Архиватор zip.
  • Как установить PHP 5.6 в качестве дополнительного PHP-FPM и FastCGI для ISPConfig 3.1 на Ubuntu 16.04
  • Основы работы в командной строке Linux
  • 10 команд Linux для новичков
  • Вывод списка файлов с сортировкой
  • Перезагружаем и выключаем компьютер из командной строки
  • Убиваем процессы в Linux - команды ps, kill и killall
  • Запускаем и ищем предыдущие команды в Linux
  • Несколько полезных команд Linux
  • Поиск команд Linux по ключевому слову и по названию
  • Выполнение сразу нескольких команд в командной строке
  • Как русифицировать Ubuntu server 16.04
  • Настройка samba в Ubuntu 16.04
  • Резервное копирование Ununtu
  • Карта сайта

Наверх

© Сайт справки 2025

Яндекс.Метрика