2015-02-05 18:17:05 +01:00
|
|
|
<?php
|
|
|
|
|
|
|
|
namespace Amp;
|
|
|
|
|
|
|
|
interface SignalReactor extends Reactor {
|
|
|
|
/**
|
|
|
|
* React to process control signals
|
2015-03-23 11:07:40 -04:00
|
|
|
*
|
2015-03-19 11:14:21 -04: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 11:56:16 -04:00
|
|
|
* @param array $options Watcher options
|
2015-03-19 11:14:21 -04:00
|
|
|
* @return string Returns unique (to the process) string watcher ID
|
2015-02-05 18:17:05 +01:00
|
|
|
*/
|
2015-04-03 11:56:16 -04:00
|
|
|
public function onSignal(int $signo, callable $func, array $options = []): string;
|
2015-02-05 18:17:05 +01:00
|
|
|
}
|