diff options
author | Evgeny Zinoviev <me@ch1p.io> | 2023-04-13 02:17:19 +0300 |
---|---|---|
committer | Evgeny Zinoviev <me@ch1p.io> | 2023-04-13 02:17:19 +0300 |
commit | 7330a35806ffc1c91f0765d1fe19df2c459d5579 (patch) | |
tree | 489bad797be3bfadcb966bbfb290dd5044f74189 /src/launcher.php | |
parent | 544f2444211aa1ad9e3611818fb87e8a8882ff55 (diff) |
add signals example
Diffstat (limited to 'src/launcher.php')
-rw-r--r-- | src/launcher.php | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/launcher.php b/src/launcher.php index d1b9892..8cd9fda 100644 --- a/src/launcher.php +++ b/src/launcher.php @@ -7,6 +7,8 @@ $job = null; register_shutdown_function(function() { global $job; + if ($job instanceof \jobd\exceptions\JobInterruptedException) + exit($job->getCode()); if ($job !== true) exit(1); }); @@ -25,6 +27,9 @@ if ($job->status != Job::STATUS_RUNNING) try { if ($job->run() !== false) $job = true; +} catch (\jobd\exceptions\JobInterruptedException $e) { + fprintf(STDERR, $e->getMessage()."\n"); + $job = $e; } catch (Exception $e) { fprintf(STDERR, $e.''); exit(1); |