[php] Handle SIGINT and SIGTERM in ReactPHP

Although this isn't a huge deal, it speeds up development as we don't
need to wait docker to trigger SIGKILL.

Signed-off-by: Luís Cobucci <[email protected]>

Author: lcobucci

frameworks/PHP/reactphp/reactphp.dockerfile

@@ -27,4 +27,5 @@ COPY . .
 
 EXPOSE 8080
 
-CMD php server.php
+ENTRYPOINT ["/usr/bin/php"]
+CMD ["server.php"]

frameworks/PHP/reactphp/server.php

@@ -16,3 +16,14 @@
 echo "React Server running at http://0.0.0.0:8080\n";
 echo "EventLoop: ", Loop::get()::class, "\n";
 
+$interrupt = static function () use ($server, $socket, &$interrupt): void {
+    echo 'Interrupting server', PHP_EOL;
+
+    $socket->close();
+
+    Loop::removeSignal(SIGINT, $interrupt);
+    Loop::removeSignal(SIGTERM, $interrupt);
+};
+
+Loop::addSignal(SIGINT, $interrupt);
+Loop::addSignal(SIGTERM, $interrupt);