2015-02-05 18:17:05 +01:00
|
|
|
<?php
|
|
|
|
|
|
|
|
namespace Amp;
|
|
|
|
|
|
|
|
interface SignalReactor extends Reactor {
|
|
|
|
/**
|
|
|
|
* React to process control signals
|
2015-03-23 16:07:40 +01:00
|
|
|
*
|
2015-03-19 16:14:21 +01:00
|
|
|
* @param int $signo The signal number for which to watch
|
|
|
|
* @param callable $func A callback to invoke when the specified signal is received
|
2015-04-03 17:56:16 +02:00
|
|
|
* @param array $options Watcher options
|
2015-03-19 16:14:21 +01:00
|
|
|
* @return string Returns unique (to the process) string watcher ID
|
2015-02-05 18:17:05 +01:00
|
|
|
*/
|
2015-04-30 19:41:14 +02:00
|
|
|
public function onSignal($signo, callable $func, array $options = []);
|
2015-02-05 18:17:05 +01:00
|
|
|
}
|